|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H13) (Jun.2001 - Mar.2002 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/1539
|
| Title: | 高階述語論理定理証明器HOLのための問題領域ライブラリの構築 |
| Authors: | 矢竹, 健朗 |
| Authors(alternative): | やたけ, けんろう |
| Keywords: | HOL, 問題領域, オブジェクト指向
HOL, problem domain, object oriented |
| Issue Date: | Mar-2002 |
| Description: |
Supervisor:片山 卓也
情報科学研究科
修士 |
| Title(English): | Domain library for HOL |
| Authors(English): | Yatake, Kenrou |
| Language: | jpn |
| URI: | http://hdl.handle.net/10119/1539 |
| Appears in Collections: | M-IS. 2001年度(H13) (Jun.2001 - Mar.2002)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| 1575abstract.pdf | | 39Kb | Adobe PDF | View/Open | | 1575jabstract.pdf | | 32Kb | Adobe PDF | View/Open | | 1575paper.pdf | | 293Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
