close
1.

図書

図書
Magnus Boman, Walter Van de Velde (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  xii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1237 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Sergei Adian, Anil Nerode, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  ix, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1234
所蔵情報: loading…
3.

図書

図書
William McCune (ed.)
出版情報: Berlin ; New York : Springer, c1997  xiv, 462 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1249 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Jan Komorowski, Jan Zytkow (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  ix, 396 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1263 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Dirk van Dalen, Marc Bezem (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1258
所蔵情報: loading…
6.

図書

図書
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 348 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1289
所蔵情報: loading…
7.

図書

図書
Dongming Wang (ed.)
出版情報: Berlin ; New York : Springer, c1997  234 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1360 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼