Cărți de Nicolas Peltier

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Lecture Notes in Computer Science, nr. 12167

Editat de Nicolas Peltier et al.

30 iun 2020

Preț: 482^.69 lei 603^.35 lei

6-8 săpt.

-20%

Automated Model Building

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 946^.62 lei 1154^.41 lei

6-8 săpt.

-18%