7316493
9783642027154
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings ... / Lecture Notes in Artificial Intelligence)
by Giese, Martin, Waaler, Arild
31245
List Price
Discount
34% Off
You Save
$27.62
About this item
- 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.
Product details
- ISBN-13: 9783642027154
- ISBN: 3642027156
- Edition: 1
- Publication Date: 2009
- Publisher: Springer
AUTHOR
SUMMARY
Giese, Martin is the author of 'Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings ... / Lecture Notes in Artificial Intelligence)', published 2009 under ISBN 9783642027154 and ISBN 3642027156.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
