Ship-Ship-Hooray! FREE 2-Day Air* on $25+ Excludes marketplace items >
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

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