Blank Cover Image
twitter facebook Hatena
More Services
タイトル、所在が表示されます

プログラミングによる計算可能性理論

フォーマット:
図書
責任表示:
A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
言語:
日本語
出版情報:
東京 : サイエンス社, 1987.12
形態:
vi, 287p ; 21cm
著者名:
Arbib, Michael A., 1940- <DA00401318>
甘利, 俊一(1936-) <DA00123000>
金谷, 健一(1947-) <DA01171701>
川端, 勉 <DA0925925X>
Kfoury, A. J. <DA00875709>
Moll, Robert N. <DA00875720>
続きを見る
シリーズ名:
Information & computing ; 18 <BN00566845>
書誌ID:
BN01883796
子書誌情報
Loading
eリソース
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 計算機科学入門

Arbib, Michael A., 1940-, 甘利, 俊一(1936-), Kfoury, A. J., Moll, Robert N., 金谷, 健一(1947-), 嶋田, 晋

サイエンス社
7 図書 アルゴリズムと計算可能性

五十嵐, 善英

昭晃堂
2 図書 論理と計算

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

岩波書店
8 図書 脳の計算論

深井, 朋樹(1958-), 甘利, 俊一(1936-)

東京大学出版会
3 図書 計算可能性入門

小林, 孝次郎(1939-)

近代科学社
9 図書 脳・心・人工知能 : 数理で脳を解き明かす

甘利, 俊一(1936-)

講談社
4 図書 線形代数

甘利, 俊一(1936-), 金谷, 健一(1947-)

講談社
10 図書 脳科学

甘利, 俊一(1936-)

東京大学出版会
5 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子

近代科学社
11 図書 情報幾何学の新展開

甘利, 俊一(1936-)

サイエンス社
6 図書 計算代数と計算幾何

佐々木, 建昭(1946-), 今井, 浩(1958-), 浅野, 孝夫(1949-), 杉原, 厚吉(1948-), 甘利, 俊一(1936-)

岩波書店
12 図書 バイオコンピュータ

甘利, 俊一(1936-)

岩波書店