Vol 43 No 1,2 (1988) | Le Matematiche

Skip to main content Skip to main navigation menu Skip to site footer

Published: 1988-11-01

Preface

Angelo Marcello Anile, Alfredo Ferro

3
- pdf
Modern trends in knowledge representation and expert system technology

Klaus Nökel, Michael M. Richter

7-28
- pdf
Language theory and expert systems

Attilio Agodi

29-52
- pdf
Set oriented languages and program transformations

Philippe Facon, Yo Keller

53-78
- pdf
Meta-interpreting SETL

D. Aliffi, D. Montanari, E. G. Omodeo, M. Pellegrini

79-98
- pdf
ALPES: an advanced logic programming environment

Cristina Ruggieri

99-124
- pdf
A survey of computable set theory

Domenico Cantone

125-194
- pdf
Automated theorem proving in elementary geometry

Alfredo Ferro, Giovanni Gallo

195-224
- pdf
Automated deduction in Topology: two different approaches

Vincenzo Cutello

225-246
- pdf
Logic programming extensions of Horn clause logic

Ron Sigal

247-294
- pdf
A note on extending decision algorithms by stable predicates

Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz

297-302
- pdf
Decidability results for classes of purely universal formulae and quantifiers elimination in set theory

Domenico Cantone, Vincenzo Cutello, Alberto Policriti

303-336
- pdf