著者典拠情報

標目形：
高橋, 正子||タカハシ, マサコ
属性：
Personal
注記：
東京工業大学名誉教授
著書:「計算論:計算可能性とラムダ計算(コンピュータサイエンス大学講座24)」(近代科学社,1991)
EDSRC:コンピュータと数学 / 高橋正子著 (朝倉書店, 2016.5) 奥付
著者典拠ID：
DA00625122


 close
1.

図書
図書
1. コンピュータと数学
高橋正子著
出版情報: 東京 : 朝倉書店, 2016.5
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 2
所蔵情報: loading…
2.

図書
図書
2. Theories of types and proofs
Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)
出版情報: Tokyo : Mathematical Society of Japan, 1998
シリーズ名: MSJ memoirs ; v. 2
所蔵情報: loading…
3.

図書
図書
3. 計算論 : 計算可能性とラムダ計算
高橋正子著
出版情報: 東京 : 近代科学社, 1991.8
シリーズ名: コンピュータサイエンス大学講座 ; 24
所蔵情報: loading…
4.

図書
図書
4. オートマトンの理論
小林孝次郎, 高橋正子共著
出版情報: 東京 : 共立出版, 1983.7
シリーズ名: 電子計算機基礎講座 / 一松信, 浦昭二編 ; 11
所蔵情報: loading…