Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
by Robert Nieuwenhuis
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
| Publisher: | Springer |
| Published In: | 14-Jul-2005 |
| ISBN-10: | 3540280057 |
| ISBN-13: | 9783540280057 |
| Binding Type: | Paperback |
| Weight: | 765 gms |
| Pages: | pp. 478, Illus. |
The Title "Automated Deduction CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings" was published in the year 2005. The ISBN number 3540280057|9783540280057 is assigned to the Paperback version of this title. This book has total of pp. 457 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Automated Deduction CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings is currently Available with us.