Skip to main content Skip to main navigation menu Skip to site footer
Le Matematiche
  • Current
  • Archives
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Contact
Search
  • Register
  • Login
  1. Home /
  2. Archives /
  3. Vol 43 No 1,2 (1988)

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
Make a Submission
Information
  • For Readers
  • For Authors
  • For Librarians

The distributed articles are licensed under the Creative Commons Attribution 4.0 International License

About this Publishing System