Synthesis of the resolution method with the inverse method
From MaRDI portal
Publication:2561970
DOI10.1007/BF01117463zbMath0265.68044MaRDI QIDQ2561970
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
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
This page was built for publication: Synthesis of the resolution method with the inverse method