close
1.

図書
図書
1. KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings (: gw)
Günther Görz, Steffen Hölldobler, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1996  xi, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1137 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書
図書
2. Foundations of equational logic programming (: gw ; : us)
Steffen Hölldobler
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  x, 250 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 353 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書
図書
3. Deduction : automated logic
by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
出版情報: London ; Tokyo : Academic Press, c1993  253 p ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼