Cărți de Harald Ganzinger

Logic Programming and Automated Reasoning

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 328^.10 lei 410^.13 lei

6-8 săpt.

-20%

Programs as Data Objects

Editat de Harald Ganzinger et al.

mar 1986

Preț: 296^.79 lei 371^.00 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications

Editat de Harald Ganzinger

iul 1996

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

6-8 săpt.

-20%

ESOP '88

Editat de Harald Ganzinger

9 mar 1988

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

6-8 săpt.

-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

6-8 săpt.

-20%

Informatik: Festschrift zum 60. Geburtstag von Günter Hotz

Teubner Texte zur Informatik, nr. 1

Cu Johannes Buchmann et al.

feb 1992

Preț: 357^.98 lei

6-8 săpt.