EVERYDAY FREE SHIPPING on $25 & up - Excludes Marketplace items.
EVERYDAY FREE SHIPPING on $25 & up - Excludes Marketplace items.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items.
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

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
  • Marketplace
  • From
More Shipping Options