Advertisement

First order logic as a tool to solve and classify problems

  • D. Marini
  • P. A. Miglioli
  • M. Ornaghi
Logische Systeme
Part of the Lecture Notes in Computer Science book series (LNCS, volume 34)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. (1).
    Kleene S.C. — INTRODUCTION TO METAMATHEMATICS — Amsterdam, 1967Google Scholar
  2. (2).
    Kowalski R., Hayes P.J. — SEMANTICAL TREE IN AUTOMATIC THEOREM PROVING in: Machine Intelligence vol. 4, New York, 1969Google Scholar
  3. (3).
    Kowalski R. — PREDICATE LOGIC AS A PROGRAMMING LANGUAGE — Proc. of IFIP, 1974Google Scholar
  4. (4).
    Robinson J.A. — A MACHINE ORIENTED LOGIC BASED ON THE RESOLUTION PRINCIPLE Journal of the ACM,vol.12, 1965Google Scholar
  5. (5).
    Meltzer B. — THEOREM PROVING FOR COMPUTERS: SOME RESULTS ON RESOLUTION AND RENAMING — Computer J., 8, 1966Google Scholar
  6. (6).
    Black F. — A DEDUCTIVE QUESTION ANSWERING SYSTEM — in: Semantic Information Processing, Minsky ed., Cambridge, 1964Google Scholar
  7. (7).
    Green C. — THEOREM PROVING BY RESOLUTION AS A BASIS FOR QUESTION ANSWERING SYSTEM in: Machine Intelligence, vol. 4, New York, 1969Google Scholar
  8. (8).
    Nilsson N.J. — PROBLEM SOLVING METHODS IN ARTIFICIAL INTELLIGENCE — New York, 1971Google Scholar
  9. (9).
    Green C. — THE APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING — Proc. Ist. Intern. Joint Conf. on Artificial Intelligence, 1969Google Scholar
  10. (10).
    Manna Z., Waldinger R.J. — TOWARDS AUTOMATIC PROGRAM SYNTHESIS — in: Lecture Notes on Mathematics, Springer, 1971Google Scholar
  11. (11).
    Lee R.C.T., Chang C.L., Waldinger R.J. — AN IMPROVED PROGRAM SYNTHESIZING ALGORITHM AND ITS CORRECTNESS — Com. ACM, 4, 1974Google Scholar
  12. (12).
    Chang C.L., Lee R.C.T. — SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING — New York 1973Google Scholar
  13. (13).
    Degli Antoni G., Miglioli P.A., Ornaghi M. — THE SYNTHESIS OF PROGRAMS IN AN INTUITIONISTIC FRAME — Report of Gruppo di Elettronica e Cibernetica (enlarged version of: Top down approach to the synthesis of programs" — Colloque sur la Programmation Paris, 1974Google Scholar
  14. (14).
    Miglioli P.A. — NOTE SUI LINGUAGGI DI PROGRAMMAZIONE E SULLE MAPPE DI SINTESI — Atti del Convegno di Informatica Teorica, Mantova, 1974 (An english version is available).Google Scholar
  15. (15).
    Degli Antoni G., Miglioli P.A., Ornaghi M. — THE SYNTHESIS OF PROGRAMS AS AN APPROACH TO THE CONSTRUCTION OF RELIABLE PROGRAMS — Proc. of the Int. Conf. on Proving and Improving Programs,Arc et Senans, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • D. Marini
    • 1
  • P. A. Miglioli
    • 1
  • M. Ornaghi
    • 1
  1. 1.Gruppo di Elettronica e Cibernetica dell'Università di MilanoItaly

Personalised recommendations