Efficiency improvement of theorem proving and its application to logical program verification 定理証明の効率化と理論的プログラム検証への応用に関する研究

この論文をさがす

著者

    • 淡, 誠一郎 ダン, セイイチロウ

書誌事項

タイトル

Efficiency improvement of theorem proving and its application to logical program verification

タイトル別名

定理証明の効率化と理論的プログラム検証への応用に関する研究

著者名

淡, 誠一郎

著者別名

ダン, セイイチロウ

学位授与大学

大阪大学

取得学位

工学博士

学位授与番号

甲第3759号

学位授与年月日

1988-03-25

注記・抄録

博士論文

目次

  1. 目次 (6コマ目)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000032691
  • NII著者ID(NRID)
    • 8000000032747
  • DOI(NDL)
  • NDL書誌ID
    • 000000197005
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ