著者典拠情報

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


1.

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

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