Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system

DOI10.1007/BF02366511zbMath0881.68109MaRDI QIDQ1364068

V. V. Atayan, Marina K. Morokhovets

Publication date: 6 October 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Related Items

Evidence algorithm and inference search in first-order logics ⋮ Glushkov's evidence algorithm ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completely non-clausal theorem proving
• A man-machine theorem-proving system
• Theorem Proving via General Matings
• On Matrices with Connections