タカハシ, マサコ
高橋, 正子
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
一般注記 | 東京工業大学理学部情報科学科助教授 著書:「計算論:計算可能性とラムダ計算(コンピュータサイエンス大学講座24)」(近代科学社,1991) |
コード類 | 典拠ID=AU20083936 NCID=DA00625122 |
1 | 計算論 : 計算可能性とラムダ計算 / 高橋正子著 東京 : 近代科学社 , 1991.8 |
2 | オートマトンの理論 / 小林孝次郎, 高橋正子共著 東京 : 共立出版 , 1983.7 |