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. | 5-11 zile -19%
