Logic for Programming, Artificial Intelligence, and Reasoning Editat de Robert Nieuwenhuis et al. 21 noi 2001 Paperback Preț: 675.90 lei 844.88 lei 6-8 săpt. -20%
Automated Deduction - CADE-20 Editat de Robert Nieuwenhuis 14 iul 2005 Paperback Preț: 331.38 lei 414.22 lei 6-8 săpt. -20%
Rewriting Techniques and Applications Editat de Robert Nieuwenhuis 27 mai 2003 Paperback Preț: 347.39 lei 434.23 lei 6-8 săpt. -20%