Automated Deduction CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

Name: Automated Deduction CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)
Author: Schmidt, Renate A.
ISBN: 9783642029585

by Schmidt, Renate A.

Automated Deduction CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)

by Schmidt, Renate A.

Marketplace Prices
New from $52.33

New
$52.33

List Price

~~$99.00~~

Discount

47% Off

You Save

$46.67

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642029585
ISBN: 3642029582
Edition: 1
Publication Date: 2009
Publisher: Springer

AUTHOR

Schmidt, Renate A.

SUMMARY

Schmidt, Renate A. is the author of 'Automated Deduction CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence)', published 2009 under ISBN 9783642029585 and ISBN 3642029582.

[read more]