Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings Lecture Notes in Computer Science, nr. 1831 Editat de David McAllester 5 iun 2000 Paperback Preț: 338.65 lei 423.31 lei 6-8 săpt. -20%
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings Lecture Notes in Computer Science, nr. 1705 Editat de Harald Ganzinger et al. 25 aug 1999 Paperback Preț: 332.69 lei 415.86 lei 6-8 săpt. -20%