Items related to Automated Theorem-proving in Non-classical Logics (Research...
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) - Softcover
Search results for Automated Theorem-proving in Non-classical Logics (Research...
Stock Image
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0273087819I5N00
Stock Image
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 154 pp., paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1348498
Stock Image
Automated theorem-proving in non-classical logics.
Seller: Antiquariat Haufe & Lutz, Karlsruhe, BW, Germany
Seller rating 5 out of 5 stars
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Seller Inventory # 87465CB
Stock Image
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Seller: Studibuch, Stuttgart, Germany
Seller rating 5 out of 5 stars
paperback. Condition: Gut. 154 Seiten; 9780273087816.3 Gewicht in Gramm: 500. Seller Inventory # 1475419