高橋, 正子 タカハシ, マサコ

ID:DA00625122

Search authors sharing the same name

Search Results1-4 of 4

  • コンピュータと数学

    高橋正子著

    朝倉書店 2016.5 現代基礎数学 / 新井仁之 [ほか] 編 2

    Available at 175 libraries

  • Theories of types and proofs

    Masako Takahashi, Mitsuhiro Okada [and] Mariangiola Dezani-Ciancaglini (eds.)

    Mathematical Society of Japan 1998 MSJ memoirs v. 2

    Available at 44 libraries

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

    高橋正子著

    近代科学社 1991.8 コンピュータサイエンス大学講座 24

    Available at 238 libraries

  • オートマトンの理論

    小林孝次郎, 高橋正子共著

    共立出版 1983.7 電子計算機基礎講座 / 一松信, 浦昭二編 11

    Available at 143 libraries

Search this author

Page Top