Transformation of PGO into a calculable expression: problem-solving machines, III

DOI10.3792/pja/1195522020zbMath0173.45304OpenAlexW2077056699MaRDI QIDQ5561541

Motokiti Kondô, Haruo Murata

Publication date: 1966

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/1195522020

zbMATH Keywords

numerical analysis

Cites Work

• On proof retrieval: Problem-solving machines, I
• Unnamed Item