Cărți de Mark E. Stickel

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

6-8 săpt.

-20%

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ț: 950^.36 lei 1187^.95 lei

6-8 săpt.

-20%