EVERYDAY FREE SHIPPING on $25 & up  Excludes Marketplace items
EVERYDAY FREE SHIPPING
on $25 & up
 Excludes Marketplace
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
Edition: EDITIONDESC
Copyright: 2008
Publisher: Springer-Verlag New York, LLC
Published: 2008
International: No

More Shipping Options

Automated Reasoning with Analytic Tableaux and Related Methods - EDITIONDESC edition

ISBN13: 978-3540660866

Neil V. Murray

ISBN13: 978-3540660866
ISBN10: 3540660860
Edition: EDITIONDESC
Copyright: 2008
Publisher: Springer-Verlag New York, LLC
Published: 2008
International: No
  • Marketplace
  • From
More Shipping Options