Efficiency improvement of theorem proving and its application to logical program verification 定理証明の効率化と理論的プログラム検証への応用に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Efficiency improvement of theorem proving and its application to logical program verification
- Other Title
-
定理証明の効率化と理論的プログラム検証への応用に関する研究
- Author
-
淡, 誠一郎
- Author(Another name)
-
ダン, セイイチロウ
- University
-
大阪大学
- Types of degree
-
工学博士
- Grant ID
-
甲第3759号
- Degree year
-
1988-03-25
Note and Description
博士論文
Table of Contents
- 目次 (6コマ目)