Hoppa till sidans huvudinnehåll

Harald Ganzinger - Böcker

Visar alla böcker från författaren Harald Ganzinger.
6 produkter

Programs as Data Objects

Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Av Harald Ganzinger, Neil Jones

Häftad, Engelska, 1986

509 kr

Skickas inom 10-15 vardagar

ESOP '88

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

Av Harald Ganzinger

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Av Harald Ganzinger

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-16

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

Av Harald Ganzinger

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Av Harald Ganzinger, David McAllester m. fl

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

Av Harald Ganzinger, Wolfgang J. Paul

Häftad, Tyska, 1992

659 kr

Skickas inom 10-15 vardagar