Cărți de Harald Ganzinger

Logic Programming and Automated Reasoning

Editat de Harald Ganzinger et al.

25 aug 1999

Preț: 327^.12 lei 408^.89 lei

6-8 săpt.

-20%

Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1103

Editat de Harald Ganzinger

iul 1996

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Programs as Data Objects

Editat de Harald Ganzinger et al.

mar 1986

Preț: 295^.89 lei 369^.86 lei

6-8 săpt.

-20%

ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Lecture Notes in Computer Science, nr. 300

Editat de Harald Ganzinger

9 mar 1988

Preț: 324^.35 lei 405^.44 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.