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ț: 341^.63 lei 427^.04 lei

43-57 zile

-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ț: 303^.12 lei 378^.90 lei

43-57 zile

-20%