ID:DA15493910
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
Bernhard Beckert (ed.)
Springer c2005 Lecture notes in computer science 3702 . Lecture notes in artificial intelligence
Available at 10 libraries
