ID:DA0850720X
Search authors sharing the same name
Bernhard Beckert, Reiner Hähnle (eds.)
Springer c2008 Lecture notes in computer science 4966
Available at 1 libraries
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino
Springer c2007 Lecture notes in computer science 4334 . Lecture notes in artificial intelligence
Available at 5 libraries
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Springer Verlag c1995 Lecture notes in computer science 918 . Lecture notes in artificial intelligence
Available at 54 libraries
Reiner Hähnle
Clarendon Press , Oxford University Press 1993 International series of monographs on computer science 10
Available at 16 libraries
