Synthesis of the resolution method with the inverse method

DOI10.1007/BF01117463zbMath0265.68044MaRDI QIDQ2561970

G. V. Davydov

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10)

Related Items (4)

Application of isograms in the search for inference ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Towards logical operations research -- propositional case ⋮ Automated inferencing

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item

This page was built for publication: Synthesis of the resolution method with the inverse method