ID:DA05825027
Schmitt, Peter H.
同姓同名の著者を検索
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館
edited by Wolfgang Bibel and Peter H. Schmitt
Kluwer Academic c1998 Applied logic series v.8-10
set , v.1 , v.2 , v.3
所蔵館21館
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
Springer-Verlag c1993 Lecture notes in computer science 659 . Lecture notes in artificial intelligence
: gw , : us
所蔵館63館
J. Dix, K.P. Jantke, P.H. Schmitt, eds
Springer-Verlag c1991 Lecture notes in computer science 543 . Lecture notes in artificial intelligence
所蔵館58館