A proof knowledge retrieval system for the Isabelle theorem prover

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: A proof knowledge retrieval system for the Isabelle theorem prover
Author/Editor: He Cheng [著]
Author Heading: 何, 成カ, セイ
Publication, Distribution, etc.: [He Cheng]
Publication Date: [2007]
Publication Date (W3CDTF): 2007
Extent: 1冊
Alternative Title: Isabelle定理証明機の証明知識復元システムの構築 Isabelle テイリショウメイキノショウメイチシキフクゲンシステムノコウチク
Degree grantor/type: 日本大学
Date Granted: 平成19年3月25日
Date Granted (W3CDTF): 2007
Dissertation Number: 甲第3718号
Degree Type: 博士 (理学)
Note (Dissertation): 博士論文
Place of Publication (Country Code): JP
Text Language Code: eng
Alias of Author: He, Cheng
NDLC: UT51
Note (General): 博士論文
Holding library: 国立国会図書館
Call No.: UT51-2007-J407
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008785867
http://id.ndl.go.jp/bib/000008785867
Bibliographic Record Category (NDL): 213