>> Amazon.co.jp

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

フォーマット:
図書
責任表示:
高橋正子著
言語:
日本語
出版情報:
東京 : 近代科学社, 1991.8
形態:
iv, 191p ; 22cm
著者名:
高橋, 正子 <DA00625122>  
シリーズ名:
コンピュータサイエンス大学講座 ; 24 <BN00149349>
書誌ID:
BN06616709
ISBN:
9784764901841 [4764901846]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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

小林, 孝次郎(1939-)

近代科学社
7 図書 プログラミングによる計算可能性理論

甘利 俊一, クフオーリ, A．クフォーリ

サイエンス社
2 図書 計算可能性・計算の複雑さ入門

渡辺, 治(1958-)

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

高橋, 昌一郎(1959-)

講談社
3 図書 計算可能性の理論

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

共立出版
9 図書 Theories of types and proofs

高橋, 正子, Okada, M. (Mitsuhiro), 1954-, Dezani-Ciancaglini, Mariangiola

Mathematical Society of Japan
4 図書 アルゴリズムと計算可能性

五十嵐, 善英

昭晃堂
10 図書 イスラーム地域研究の可能性

佐藤, 次高(1942-)

東京大学出版会
5 図書 コンピュータと数学

高橋, 正子

朝倉書店
11 図書 Fortran exercise 科学計算プログラム

伊藤, 勝子, 鈴木, 三枝子, 高柳, 敏子, 杉野, 正子, 中瀬, 令子, 田中, 穣二(1929-), 駒木, 悠二(1934-)

富士書房
6 図書 オートマトンと計算可能性

有川, 節夫, 宮野, 悟

培風館
12 図書 計算基礎論

足立, 暁生(1936-)

オーム社