Cărți de Maria Paola Bonacina

Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7898

Editat de Maria Paola Bonacina

16 mai 2013

Preț: 339^.11 lei 423^.89 lei

6-8 săpt.

-20%

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Lecture Notes in Computer Science, nr. 7788

Editat de Maria Paola Bonacina et al.

19 mar 2013

Preț: 300^.91 lei 376^.13 lei

6-8 săpt.

-20%