ID:DA15493910
同姓同名の著者を検索
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館
Bernhard Beckert (ed.)
Springer c2005 Lecture notes in computer science 3702 . Lecture notes in artificial intelligence
所蔵館10館
