>> Google Books
所蔵情報QRコード

形式論理と計算可能性 = Formal logic and computability / 東京大学工学教程編纂委員会編 ; 蓮尾一郎, 浅田和之著

資料種別:
図書
出版情報:
東京 : 丸善出版, 2024.9
形態:
xi, 192p ; 21cm
シリーズ名:
東京大学工学教程 / 東京大学工学教程編纂委員会編 ; . 情報工学||ジョウホウ コウガク <BB13764982>
著者名:
ISBN:
9784621310144 [4621310143]
書誌ID:
BD08589006
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 東京大学工学教程

東京大学工学教程編纂委員会

丸善
7 図書 論理と計算のしくみ

萩谷, 昌己(1957-), 西崎, 真也

岩波書店
2 図書 計算可能性入門

小林, 孝次郎(1939-)

近代科学社
8 図書 金属錯体化学 = Metal complexes chemistry

東京大学工学教程編纂委員会, 石井, 和之, 北條, 博彦 (1968-), 西林, 仁昭 (1968-)

丸善出版
3 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子, 宝来, 正子

近代科学社
9 図書 確率・統計 (1 ; 2)

東京大学工学教程編纂委員会, 縄田, 和満(1957-), 青木, 敏, 竹村, 彰通(1952-)

丸善出版
4 図書 計算可能性・計算の複雑さ入門

渡辺, 治(1958-)

近代科学社
10 図書 情報システム

東京大学工学教程編纂委員会, 萩谷, 昌己(1957-)

丸善出版
5 図書 プログラミングによる計算可能性理論

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), 金谷, 健一(1947-), 川端, 勉, Kfoury, A. J., Moll, Robert N.

サイエンス社
11 図書 放射線生物学 = Radiation biology

東京大学工学教程編纂委員会, 上坂, 充(1957-), 石川, 顕一

丸善出版
6 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店
12 図書 知識情報処理

東京大学工学教程編纂委員会, 伊庭, 斉志, Bollegala, Danushka

丸善出版
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12