Automated Theorem Proving Contemporary Mathematics Editat de Donald W. Loveland et al. 30 dec 1984 Paperback Preț: 423.35 lei 522.65 lei 22-36 zile | 5-11 zile -19%
