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

AvHarald 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

AvHarald Ganzinger

Häftad, Engelska, 1988

719 kr

Skickas inom 10-15 vardagar

Rewriting Techniques and Applications

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

AvHarald Ganzinger

Häftad, Engelska, 1996

719 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-16

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

AvHarald Ganzinger

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar

Logic Programming and Automated Reasoning

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

AvHarald Ganzinger,David McAllester m. fl.

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

AvHarald Ganzinger,Wolfgang J. Paul

Häftad, Tyska, 1992

649 kr

Skickas inom 10-15 vardagar