Cărți de Robert Nieuwenhuis

Logic for Programming, Artificial Intelligence, and Reasoning

Editat de Robert Nieuwenhuis et al.

21 noi 2001

Preț: 647^.43 lei 809^.29 lei

6-8 săpt.

-20%

Automated Deduction - CADE-20

Editat de Robert Nieuwenhuis

14 iul 2005

Preț: 331^.38 lei 414^.22 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications

Editat de Robert Nieuwenhuis

27 mai 2003

Preț: 334^.04 lei 417^.55 lei

6-8 săpt.

-20%