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