1.

図書

図書
edited by Leonard Bolc
出版情報: Berlin ; New York : Springer-Verlag, 1983
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: 図書館
2.

図書

図書
Michael J. O'Donnell
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 58
所蔵情報: 図書館