Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 by
125,52 €
Automated Theorem Proving 1965–1970. - Automatic Theorem Proving With Renamable and Semantic Resolution. - The Concept of Demodulation in Theorem Proving. - On Simplifying the Matrix of a WFF. - The Generalized Resolution Principle.
Jetzt bei Ebay:
