Filtre: Springer Berlin, Heidelberg

Cărți de Harald Ganzinger

Rewriting Techniques and Applications

Editat de Harald Ganzinger

iul 1996

Preț: 330^.15 lei 412^.69 lei

43-57 zile

-20%

ESOP '88

Editat de Harald Ganzinger

9 mar 1988

Preț: 326^.88 lei 408^.60 lei

43-57 zile

-20%

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1632

Editat de Harald Ganzinger

23 iun 1999

Preț: 327^.04 lei 408^.80 lei

43-57 zile

-20%