Showing 1 - 10 of 10 Results
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
3.
ESOP '88 by Ganzinger, Harald ISBN: 9783540190271 List Price: $67.95
4.
Programs as Data Objects by Ganzinger, Harald, Jones, N... ISBN: 9783540164463 List Price: $35.00
6.
Automated Deduction - Cade-16 by Ganzinger, Harald ISBN: 9783662182055 List Price: $24.99
7.
Esop '88 by Ganzinger, Harald ISBN: 9783662196670 List Price: $24.99
8.
Logic Programming and Automated Reasoning by Ganzinger, Harald, McAllest... ISBN: 9783662184653 List Price: $24.99
10.
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