Skip to main content
SpringerLink
Log in
Book cover

GI (German Informatics Society) Annual Conference

GI 1975: GI — 5. Jahrestagung pp 667–679Cite as

First order logic as a tool to solve and classify problems

  • Logische Systeme
  • Conference paper
  • First Online:

  • 1960 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 34))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kleene S.C. — INTRODUCTION TO METAMATHEMATICS — Amsterdam, 1967

    Google Scholar 

  2. Kowalski R., Hayes P.J. — SEMANTICAL TREE IN AUTOMATIC THEOREM PROVING in: Machine Intelligence vol. 4, New York, 1969

    Google Scholar 

  3. Kowalski R. — PREDICATE LOGIC AS A PROGRAMMING LANGUAGE — Proc. of IFIP, 1974

    Google Scholar 

  4. Robinson J.A. — A MACHINE ORIENTED LOGIC BASED ON THE RESOLUTION PRINCIPLE Journal of the ACM,vol.12, 1965

    Google Scholar 

  5. Meltzer B. — THEOREM PROVING FOR COMPUTERS: SOME RESULTS ON RESOLUTION AND RENAMING — Computer J., 8, 1966

    Google Scholar 

  6. Black F. — A DEDUCTIVE QUESTION ANSWERING SYSTEM — in: Semantic Information Processing, Minsky ed., Cambridge, 1964

    Google Scholar 

  7. Green C. — THEOREM PROVING BY RESOLUTION AS A BASIS FOR QUESTION ANSWERING SYSTEM in: Machine Intelligence, vol. 4, New York, 1969

    Google Scholar 

  8. Nilsson N.J. — PROBLEM SOLVING METHODS IN ARTIFICIAL INTELLIGENCE — New York, 1971

    Google Scholar 

  9. Green C. — THE APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING — Proc. Ist. Intern. Joint Conf. on Artificial Intelligence, 1969

    Google Scholar 

  10. Manna Z., Waldinger R.J. — TOWARDS AUTOMATIC PROGRAM SYNTHESIS — in: Lecture Notes on Mathematics, Springer, 1971

    Google Scholar 

  11. Lee R.C.T., Chang C.L., Waldinger R.J. — AN IMPROVED PROGRAM SYNTHESIZING ALGORITHM AND ITS CORRECTNESS — Com. ACM, 4, 1974

    Google Scholar 

  12. Chang C.L., Lee R.C.T. — SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING — New York 1973

    Google Scholar 

  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, 1974

    Google Scholar 

  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. 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, 1975

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gruppo di Elettronica e Cibernetica dell'Università di Milano, Italy

    D. Marini, P. A. Miglioli & M. Ornaghi

Authors
  1. D. Marini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. A. Miglioli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Ornaghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Mülbacher

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marini, D., Miglioli, P.A., Ornaghi, M. (1975). First order logic as a tool to solve and classify problems. In: Mülbacher, J. (eds) GI — 5. Jahrestagung. GI 1975. Lecture Notes in Computer Science, vol 34. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07410-4_667

Download citation

  • DOI: https://doi.org/10.1007/3-540-07410-4_667

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07410-6

  • Online ISBN: 978-3-540-37929-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation