著者典拠情報

標目形:
Schmitt, P. H. (Peter H.), 1948-
属性:
Personal
から見よ参照形:
Schmitt, Peter H., 1948-
著者典拠ID:
DA05825027


 close
1.

図書

図書
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
2.

図書

図書
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…
3.

図書

図書
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…