Blank Cover Image

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 計算可能性・計算の複雑さ入門

渡辺, 治(1958-)

近代科学社
7 図書 計算代数と計算幾何

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

岩波書店
2 図書 計算機科学入門

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

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

五十嵐, 善英

昭晃堂
3 図書 線形代数

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

講談社
9 図書 インテリジェントコンピューティングへの挑戦

相磯, 秀夫(1932-), 甘利, 俊一(1936-)

三田出版会
4 図書 論理と計算

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

岩波書店
10 図書 ノーベルコンピューティングへの挑戦

相磯, 秀夫(1932-), 甘利, 俊一(1936-)

三田出版会
5 図書 計算可能性入門

小林, 孝次郎(1939-)

近代科学社
11 図書 ニューロコンピューティングから情報幾何学へ

甘利, 俊一(1936-), 森谷, 正規(1935-)

三田出版会
6 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子

近代科学社
12 図書 脳科学

甘利, 俊一(1936-)

東京大学出版会