ID:DA00272452
Ganzinger, H.
Search authors sharing the same name
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
Springer-Verlag c1999 Lecture notes in computer science 1705 . Lecture notes in artificial intelligence
Available at 44 libraries
Harald Ganzinger (ed.)
Springer c1999 Lecture notes in computer science 1632 . Lecture notes in artificial intelligence
Available at 43 libraries
Springer-Verlag c1996 Lecture notes in computer science 1103
Available at 60 libraries
H. Ganzinger (ed.)
Springer-Verlag c1988 Lecture notes in computer science 300
: gw , : us
Available at 54 libraries
edited by H. Ganzinger and N.D. Jones
Springer-Verlag c1986 Lecture notes in computer science 217
Available at 48 libraries