close
1.

図書

図書
J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
G. Brewka, K.P. Jantke, P.H. Schmitt, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 659 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
edited by Wolfgang Bibel and Peter H. Schmitt
出版情報: Dordrecht : Kluwer Academic, c1998
シリーズ名: Applied logic series ; v.8-10
所蔵情報: loading…
目次情報:
v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications
v.1. Foundations. calculi and methods
v.2. Systems and implementation techniques
v.3. Applications