Automated Theorem Proving by Wolfgang BibelAutomated Theorem Proving by Wolfgang Bibel

Automated Theorem Proving

byWolfgang Bibel

Paperback | January 1, 1982 | German

Pricing and Purchase Info


Earn 455 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores

Title:Automated Theorem ProvingFormat:PaperbackPublished:January 1, 1982Publisher:Vieweg+Teubner VerlagLanguage:German

The following ISBNs are associated with this title:

ISBN - 10:3528085207

ISBN - 13:9783528085209

Look for similar items by category: