Harald Ganzinger

ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings (Lecture Notes in Computer Science)

Harald Ganzinger

$60.03

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)

Harald Ganzinger

$60.03

Informatik: Festschrift Zum 60. Geburtstag Von Gunter Hotz

Harald Ganzinger

Out of Stock

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science)

Harald Ganzinger

$12.29 - $60.03

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science)

Harald Ganzinger

$49.99