10th International Conference on Automated Deduction Editat de Mark E. Stickel 17 iul 1990 Paperback Preț: 919.06 lei 1148.83 lei 43-57 zile -20%
Automated Reasoning and Mathematics Editat de Maria Paola Bonacina et al. 19 mar 2013 Paperback Preț: 293.72 lei 367.14 lei 43-57 zile -20%