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%
Automated Deduction -- CADE-24 Editat de Maria Paola Bonacina 16 mai 2013 Paperback Preț: 331.59 lei 414.49 lei 6-8 săpt. -20%