Automated Deduction - CADE-20
Editat de Robert Nieuwenhuis
14 iul 2005
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Cărți de Robert Nieuwenhuis
Rewriting Techniques and Applications
Editat de Robert Nieuwenhuis
27 mai 2003
Paperback
Preț: 333.02 lei 416.28 lei
6-8 săpt.
-20%