Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) from Springer
$107.00 $78.11
Usually ships in 1 to 3 weeks
View Customer Ratings
Availability: Usually ships in 24 hours
Shipping: This item ships for FREE with Super Saver Shipping.
Add To Cart Related Products
Description
Introducing: Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) by Springer
We are proud to present the famous Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence).
With so many available these days, it is wise to have a make you can trust. The Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) is certainly that and will be a great purchase.
For this price, the Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) is highly recommended and is a regular choice amongst most people. Springer have provided some excellent touches and this results in great value for money.
Features
Attributes
-
Currently no features.
-
Currently no attributes.
Related Products
Automated Reasoning ...
$72.00
Get the fantastic Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, ... / Lecture Not...
Add To Cart Details
Logic for Programmin...
$99.00
Purchase the fantastic Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture ...
Add To Cart Details
Automated Reasoning:...
$129.00
Purchase the famous Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science / Lecture No...
Add To Cart Details
Automated Reasoning:...
$119.00
Purchase the excellent Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science / Lectu...
Add To Cart Details