Cărți de Mark E. Stickel

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Lecture Notes in Computer Science, nr. 449

Editat de Mark E. Stickel

17 iul 1990

Preț: 913^.44 lei 1141^.80 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ț: 291^.63 lei 364^.54 lei

6-8 săpt.

-20%