Blank Cover Image
 ↑ タイトル、所在を表示

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

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

小林, 孝次郎(1939-)

近代科学社

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

山口書店

渡辺, 治(1958-)

近代科学社

高橋, 和子

ひつじ書房

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

サイエンス社

高橋, 直哉

成文堂

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

共立出版

高橋, 正平

新潟大学教養部

五十嵐, 善英

昭晃堂

11 図書 計算基礎論

足立, 暁生(1936-)

オーム社

有川, 節夫, 宮野, 悟

培風館

12 図書 計算機数学

町田, 元(1946-), 横森, 貴

森北出版