Hoppa till sidans huvudinnehåll

Harald Ganzinger – författare

Visar alla böcker från författaren .
6 produkter
Harald Ganzinger, Neil Jones - Programs as Data Objects, Häftad

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

Harald Ganzinger - ESOP '88, Häftad

ESOP '88

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

AvHarald Ganzinger

Häftad, Engelska, 1988

729 kr

Skickas inom 10-15 vardagar

Harald Ganzinger - Rewriting Techniques and Applications, Häftad

Rewriting Techniques and Applications

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

AvHarald Ganzinger

Häftad, Engelska, 1996

729 kr

Skickas inom 10-15 vardagar

Harald Ganzinger - Automated Deduction - CADE-16, Häftad

Automated Deduction - CADE-16

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

AvHarald Ganzinger

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Harald Ganzinger, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Logic Programming and Automated Reasoning

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

AvHarald Ganzinger,David McAllesterm. fl.

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Harald Ganzinger, Wolfgang J. Paul - Informatik, Häftad

Informatik

Festschrift zum 60. Geburtstag von Günter Hotz

AvHarald Ganzinger,Wolfgang J. Paul

Häftad, Tyska, 1992

659 kr

Skickas inom 10-15 vardagar