Preview
Unable to display preview. Download preview PDF.
References
Kleene S.C. — INTRODUCTION TO METAMATHEMATICS — Amsterdam, 1967
Kowalski R., Hayes P.J. — SEMANTICAL TREE IN AUTOMATIC THEOREM PROVING in: Machine Intelligence vol. 4, New York, 1969
Kowalski R. — PREDICATE LOGIC AS A PROGRAMMING LANGUAGE — Proc. of IFIP, 1974
Robinson J.A. — A MACHINE ORIENTED LOGIC BASED ON THE RESOLUTION PRINCIPLE Journal of the ACM,vol.12, 1965
Meltzer B. — THEOREM PROVING FOR COMPUTERS: SOME RESULTS ON RESOLUTION AND RENAMING — Computer J., 8, 1966
Black F. — A DEDUCTIVE QUESTION ANSWERING SYSTEM — in: Semantic Information Processing, Minsky ed., Cambridge, 1964
Green C. — THEOREM PROVING BY RESOLUTION AS A BASIS FOR QUESTION ANSWERING SYSTEM in: Machine Intelligence, vol. 4, New York, 1969
Nilsson N.J. — PROBLEM SOLVING METHODS IN ARTIFICIAL INTELLIGENCE — New York, 1971
Green C. — THE APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING — Proc. Ist. Intern. Joint Conf. on Artificial Intelligence, 1969
Manna Z., Waldinger R.J. — TOWARDS AUTOMATIC PROGRAM SYNTHESIS — in: Lecture Notes on Mathematics, Springer, 1971
Lee R.C.T., Chang C.L., Waldinger R.J. — AN IMPROVED PROGRAM SYNTHESIZING ALGORITHM AND ITS CORRECTNESS — Com. ACM, 4, 1974
Chang C.L., Lee R.C.T. — SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING — New York 1973
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
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).
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
Author information
Authors and Affiliations
Editor information
Rights 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