Win $250 in textbooks! Enter now >
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods - edit edition

Automated Reasoning with Analytic Tableaux and Related Methods - edit edition

ISBN13: 9783540660866

ISBN10: 3540660860

Automated Reasoning with Analytic Tableaux and Related Methods by Neil V. Murray - ISBN 9783540660866
Edition: EDITIONDESC
Copyright: 2008
Publisher: Springer-Verlag New York, LLC
Published: 2008
International: No
Automated Reasoning with Analytic Tableaux and Related Methods by Neil V. Murray - ISBN 9783540660866

ISBN13: 9783540660866

ISBN10: 3540660860

Edition: EDITIONDESC
Top Arrow

Top