計算可能性入門

このページのQRコード

所蔵情報

1

2

3

4

5

6

9

10

11

12

1 図書計算可能性・計算の複雑さ入門渡辺, 治 (1958-) 近代科学社	7 図書計画道路の可能性調査小林, 八一東京法令出版
2 図書計算論 : 計算可能性とラムダ計算高橋, 正子近代科学社	8 図書線形代数学入門奥川, 光太郎(1913-) 朝倉書店
3 図書計算可能性の理論 Sipser, Michael, 阿部, 正幸, 植田, 広樹, 藤岡, 淳, 渡辺, 治(1958-), 太田, 和夫(1954-), 田中, 圭介(1969-) 共立出版	9 図書計算基礎論足立, 暁生(1936-) オーム社
4 図書計算論入門 : 計算の基本原理理解のために渡辺, 治(1958-), 米崎, 直樹(1950-) 日本評論社	10 図書計算機数学町田, 元(1946-), 横森, 貴森北出版
5 図書計算論 : 計算可能性とラムダ計算高橋正子近代科学社	11 図書論理と計算萩谷, 昌己(1957-), 甘利, 俊一(1936-) 岩波書店
6 図書光物性入門小林, 浩一(1924-) 裳華房	12 図書計算の基礎理論細井, 勉(1937-) 教育出版