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