A nucleus of a theorem-prover described inAlgol-68
- 1 March 1974
- journal article
- research article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 3 (1), 1-31
- https://doi.org/10.1007/bf01355585
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- ALGOL 68 with Fewer TearsThe Computer Journal, 1972
- The composition of semantics in Algol 68Communications of the ACM, 1971
- The utility of independent subgoals in theorem provingInformation and Control, 1971
- An interactive system for proving theorems in the predicate calculusPublished by Association for Computing Machinery (ACM) ,1971
- Report on the Algorithmic Language ALGOL 68Numerische Mathematik, 1969
- A review of automatic theorem-provingProceedings of Symposia in Applied Mathematics, 1967