9th International Conference on Automated Deduction Editat de Ewing Lusk et al. 4 mai 1988 Paperback Preț: 643.99 lei 757.63 lei 6-8 săpt. -15%