Skip to content
Scan a barcode
Scan
Paperback Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro Book

ISBN: 3540644067

ISBN13: 9783540644064

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro

No Synopsis Available.

Recommended

Format: Paperback

Condition: Very Good

$127.19
Almost Gone, Only 1 Left!

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured