Automated Theorem Proving Contemporary Mathematics Editat de Donald W. Loveland et al. 30 dec 1984 Paperback Preț: 409.78 lei 505.90 lei 3-5 săpt. | 4-10 zile -19%
