定理証明器HOLにおけるオブジェクト指向理論の構築
Author(s)
Bibliographic Information
定理証明器HOLにおけるオブジェクト指向理論の構築
矢竹健朗, 2006.3
- Title Transcription
-
テイリ ショウメイキ HOL ニ オケル オブジェクト シコウ リロン ノ コウチク
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
博士論文(北陸先端科学技術大学院大学, 2006, 博情第号)