1.
Logic Programming and Automated Reasoning 6th International Conference, Lpar'99, Tbilisi, Ge...
by Ganzinger, Harald, McAllest...
ISBN: 9783540664925
List Price: $79.95
2.
Informatik: Festschrift zum 60. Geburtstag von Gnter Hotz (Teubner Texte zur Informatik) (Vo...
by Harald Ganzinger, Wolfgang ...
ISBN: 9783815420331
List Price: $69.95
4.
5.
Automated Deduction-Cade-16 16th International Conference on Automated Deduction Trento, Ita...
by Ganzinger, Harald
ISBN: 9783540662228
List Price: $79.95
8.
Logic Programming and Automated Reasoning
by Ganzinger, Harald, McAllest...
ISBN: 9783662184653
List Price: $24.99
OUT OF STOCK
See Availability on Amazon9.
Rewriting Techniques and Applications : 7th International Conference, Rta-96, New Brunswick,...
by Ganzinger, Harald
ISBN: 9783662207376
List Price: $24.99
OUT OF STOCK
See Availability on Amazon10.
Programs As Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19 1985
by Ganzinger, Harald, Jones, Neil
ISBN: 9783662200070
List Price: $24.99