Ship-Ship-Hooray!  FREE 2-Day Air on $25+  Limited time only!  Excludes Marketplace items
Ship-Ship-Hooray!  FREE 2-Day Air on $25+  Limited time only!  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