ID:DA0850720X
同姓同名の著者を検索
Bernhard Beckert, Reiner Hähnle (eds.)
Springer c2008 Lecture notes in computer science 4966
所蔵館1館
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
所蔵館5館
Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Springer Verlag c1995 Lecture notes in computer science 918 . Lecture notes in artificial intelligence
所蔵館54館
Reiner Hähnle
Clarendon Press , Oxford University Press 1993 International series of monographs on computer science 10
所蔵館16館
