9th International Conference on Automated Deduction Editat de Ewing Lusk et al. 4 mai 1988 Paperback Preț: 643.99 lei 757.63 lei 43-57 zile -15%