|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Deduction - Cade-17: 17th International Conference on Automated Deduction Pittsburgh, Pa, Usa, June 17-20, 2000 Proceedings 2000 Edition (Lecture Notes in Computer Science) | McAllester, David | Paperback | 3540676643 /
9783540676645 | 06/2000 | $52.24 |
|  | Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science) | Ganzinger, Harald | Paperback | 3540664920 /
9783540664925 | 08/1999 | $52.24 |
|
|
|