On proof retrieval: Problem-solving machines, I

DOI10.3792/pja/1195522422zbMath0139.33103OpenAlexW2062016088MaRDI QIDQ5514842

Haruo Murata, Motokiti Kondô

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

Related Items (2)

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

Cites Work

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

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