定理証明器HOLにおけるオブジェクト指向理論の構築

著者

• 矢竹, 健朗 ヤタケ, ケンロウ

書誌事項

定理証明器HOLにおけるオブジェクト指向理論の構築

矢竹健朗[著]

矢竹健朗, 2006.3

タイトル読み

テイリ ショウメイキ HOL ニ オケル オブジェクト シコウ リロン ノ コウチク

注記

博士論文(北陸先端科学技術大学院大学, 2006, 博情第号)

詳細情報

• NII書誌ID(NCID): BA79270432
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: [能美]
• ページ数/冊数: vi, 103枚
• 大きさ: 31cm