Proofs and programs : a naïve approach to program extraction 証明とプログラム : プログラム抽出の自然な一手法

この論文をさがす

著者

    • 中原, 早生 ナカハラ, ハヤオ

書誌事項

タイトル

Proofs and programs : a naïve approach to program extraction

タイトル別名

証明とプログラム : プログラム抽出の自然な一手法

著者名

中原, 早生

著者別名

ナカハラ, ハヤオ

学位授与大学

東京大学

取得学位

理学博士

学位授与番号

乙第9072号

学位授与年月日

1988-12-19

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000061971
  • NII著者ID(NRID)
    • 8000000062136
  • NDL書誌ID
    • 000000226285
  • データ提供元
    • NDL-OPAC
ページトップへ