Cărți de Maria Paola Bonacina

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ț: 291^.63 lei 364^.54 lei

6-8 săpt.

-20%

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ț: 328^.62 lei 410^.77 lei

6-8 săpt.

-20%