Cărți de Robert Nieuwenhuis

Automated Deduction - CADE-20

Editat de Robert Nieuwenhuis

14 iul 2005

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications

Editat de Robert Nieuwenhuis

27 mai 2003

Preț: 333^.02 lei 416^.28 lei

6-8 săpt.

-20%

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Lecture Notes in Computer Science, nr. 2250

Editat de Robert Nieuwenhuis et al.

21 noi 2001

Preț: 666^.33 lei 832^.91 lei

6-8 săpt.

-20%