EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals
Search
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods - edit edition

ISBN13: 978-3540660866

Cover of Automated Reasoning with Analytic Tableaux and Related Methods EDITIONDESC (ISBN 978-3540660866)
ISBN13: 978-3540660866
ISBN10: 3540660860
Cover type:
Edition/Copyright: EDITIONDESC
Publisher: Springer-Verlag New York, LLC
Published: 2008
International: No

List price: $99.00

USED
Sold Out
FREE Shipping on $25+
  • Check back soon!
  • 30-Day Returns
  • Condition: Very Good
Sold Out
rental
$76.99
Save $22.01 (22%)


Ships from $5.99
  • Free Return Shipping
  • Due back 12/18/2015
  • CDs or access codes
    may not be included
More Shipping Options

Automated Reasoning with Analytic Tableaux and Related Methods - EDITIONDESC edition

ISBN13: 978-3540660866

Neil V. Murray

ISBN13: 978-3540660866
ISBN10: 3540660860
Cover type:
Edition/Copyright: EDITIONDESC
Publisher: Springer-Verlag New York, LLC

Published: 2008
International: No
List price: $99.00
  • Rental
  • $76.99
  • Marketplace
  • From
More Shipping Options