Organization of data for the obviousness algorithm seeking proofs of theorems in formalized theories

✍ Scribed by Z. M. Asel'derov; F. V. Anufriev; Yu. V. Kapitonova

• Publisher: Springer US
• Year: 1974
• Tongue: English
• Weight: 782 KB
• Volume: 8
• Category: Article
• ISSN: 1573-8337
• DOI: 10.1007/bf01068447