close
1.

図書

図書
edited by R.E. Shostak
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 508 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 170
所蔵情報: loading…
2.

図書

図書
M.E. Stickel (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  xvi, 688 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
Robert Nieuwenhuis (ed.)
出版情報: Berlin : Springer, c2005  xiii, 457 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3632 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998  xiv, 441 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
David McAllester (ed.)
出版情報: Berlin : Springer, c2000  xiii, 512 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書

図書
E. Lusk, R. Overbeek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  x, 775 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 310
所蔵情報: loading…
7.

図書

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

図書

図書
M.A. McRobbie, J.K. Slaney, (eds.)
出版情報: Berlin ; New York : Springer, c1996  xv, 764 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
edited by Jörg H. Siekmann
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 708 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 230
所蔵情報: loading…
10.

図書

図書
Alan Bundy (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994  xvi, 848 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 814 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼