Harald Ganzinger - Böcker
Visar alla böcker från författaren Harald Ganzinger.
6 produkter
6 produkter
Programs as Data Objects
Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
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
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
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
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
Häftad, Engelska, 1999
719 kr
Skickas inom 10-15 vardagar
649 kr
Skickas inom 10-15 vardagar