Ship-Ship-Hooray! Free Shipping on $25+ Details >
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

ISBN13: 9783540660866

ISBN10: 3540660860

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

ISBN13: 9783540660866

ISBN10: 3540660860


shop us with confidence