|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Deduction - Cade-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings 2005 Edition | Nieuwenhuis, Robert | Paperback | 3540280057 / 9783540280057 | 07/2005 | $52.24 |
| | Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings 2001 Edition (Lecture Notes in Computer Science) | Nieuwenhuis, Robert | Paperback | 3540429573 / 9783540429579 | 11/2001 | $104.49 |
| | Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 9-11, 2003, Proceedings 2003 Edition (Lecture Notes in Computer Science,) | Nieuwenhuis, Robert | Paperback | 3540402543 / 9783540402541 | 05/2003 | $52.24 |
|
|
|