Logic Programming and Automated Reasoning Editat de Harald Ganzinger et al. 25 aug 1999 Paperback Preț: 327.12 lei 408.89 lei 6-8 săpt. -20%
Automated Deduction - CADE-17 Editat de David McAllester 5 iun 2000 Paperback Preț: 333.43 lei 416.79 lei 6-8 săpt. -20%