1 |
4-1, 4-2
LISP / P. H. ウィンストン, B. K. P. ホーン著 ; 白井良明, 安部憲広, 井田昌之訳
1,2. - 第3版. - 東京 : 培風館 , 1991.12-1992.2
|
2 |
8
論理による問題の解法 : Prolog入門 / R. コワルスキ著 ; 山田真市 [ほか] 訳
東京 : 培風館 , 1987.3
|
3 |
9
オートマトンと計算可能性 / 有川節夫, 宮野悟著
東京 : 培風館 , 1986.9
|
4 |
10
データ構造 / T.G.レヴィス, M.Z.スミス著 ; 浦昭二, 近藤頌子, 遠山元道訳
東京 : 培風館 , 1987.3
|
5 |
11
データ構造とアルゴリズム / A.V.エイホ, J.E.ホップクロフト, J.D.ウルマン著 ; 大野義夫訳
東京 : 培風館 , 1987.3
|
6 |
12
暗号とデータセキュリティ / D.E.R.デニング著 ; 上園忠弘 [ほか] 訳
東京 : 培風館 , 1988.6
|
7 |
13
線形代数的グラフ理論 / 竹中淑子著
東京 : 培風館 , 1989.4
|
8 |
14
プログラミングの科学 / D.グリース著 ; 筧捷彦訳
東京 : 培風館 , 1991.1
|
9 |
15
自然言語の論理処理 / R.F.シモンズ著 ; 川野洋監修 ; 藤田米春, 岡田直之訳
東京 : 培風館 , 1991.4
|