>> Amazon.co.jp
このページのQRコード

計算論 : 計算可能性とラムダ計算

種類:
図書
責任表示:
高橋正子
出版情報:
東京 : 近代科学社, 1991
著者名:
高橋正子  
シリーズ名:
コンピュ-タサイエンス大学講座 ; 24
ISBN:
9784764901841 [4764901846]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. 計算論 : 計算可能性とラムダ計算
高橋正子著 , 近代科学社 , 1991

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 計算論 : 計算可能性とラムダ計算

高橋, 正子

近代科学社
7 図書 計算モデル論入門 : チューリング機械からラムダ計算へ

井田, 哲雄(1947-), 浜名, 誠(1971-)

サイエンス社
2 図書 計算可能性の理論

Sipser, Michael, 阿部, 正幸, 植田, 広樹, 藤岡, 淳, 渡辺, 治(1958-), 太田, 和夫(1954-), 田中, 圭介(1969-)

共立出版
8 図書 イスラーム地域研究の可能性

佐藤, 次高(1942-)

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

小林, 孝次郎(1939-)

近代科学社
9 図書 理性の限界 : 不可能性・不確定性・不完全性

高橋, 昌一郎(1959-)

講談社
4 図書 計算可能性・計算の複雑さ入門

渡辺, 治 (1958-)

近代科学社
10 図書 対立的防除から調和的防除へ : その可能性を探る

高橋史樹

農山漁村文化協会
5 図書 数学的思考 : ピタゴラスからゲ-デルへの可能性と限界

OSKAR・BECKER;中村清訳

工作舎
11 図書 「食育」 : その必要性と可能性

農政ジャーナリストの会

農林統計協会
6 図書 可能性と現實性

Hartmann, Nicolai, 1882-1950, 高橋, 敬視(1891-)

山口書店
12 図書 対立的防除から調和的防除へ : その可能性を探る

高橋, 史樹(1929-)

農山漁村文化協会