On proof retrieval: Problem-solving machines, I

DOI10.3792/PJA/1195522422MaRDI QIDQ5514842zbMATH OpenOpenAlexFDO

Authors Motokiti Kondô, Haruo Murata

Publication date 1965

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195522422

zbMATH Keywords

numerical analysis

Cites work

• A Proof Method for Quantification Theory: Its Justification and Realization
• Fact Retrieval and Deductive Question-Answering Information Retrieval Systems
• Proving theorems by pattern recognition I
• Theorem-Proving on the Computer

Cited in

(2)

• Problem-solving machines for Euclidean geometry
• Transformation of PGO into a calculable expression: problem-solving machines, III

This page was built for publication: On proof retrieval: Problem-solving machines, I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5514842)