Automated Model Building Autor Ricardo Caferra et al. 13 sep 2004 Hardback Preț: 945.92 lei 1153.56 lei 6-8 săpt. -18%
Automated Deduction in Classical and Non-Classical Logics Editat de Ricardo Caferra et al. 9 feb 2000 Paperback Preț: 335.69 lei 419.60 lei 6-8 săpt. -20%