汎用論証支援システム - 九大コレクション

＜博士論文＞
汎用論証支援システム

	General-Purpose Reasoning Assistant System
作成者	作成者姓名南, 俊朗 Minami, Toshiro ミナミ, トシロウ所属機関所属機関名 Graduate School of Information Science and Electrical Engineering, Kyushu University 九州大学システム情報科学研究科情報理学専攻
本文言語	英語
学位授与年度	1998
学位授与大学	九州大学
学位授与大学	Kyushu University
学位	博士（理学）
学位種別	課程博士
出版タイプ	Version of Record
アクセス権	open access
JaLC DOI	https://doi.org/10.11501/3150887
関連URI	https://dl.ndl.go.jp/info:ndljp/pid/3150887
目次	Abstract Contents 1 Introduction 2 Concept of General-Purpose Reasoning Assistant System 3 Design and Implementation 4 Language System Specification 5 Derivation System Specification 6 Proof Construction 7 Experiments: Application Examples 8 Application to Knowledge Acquisition Support Systems 9 System Comparison 10 Conclusion Bibliography

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
minami1	pdf	12.5 MB	231
minami2	pdf	10.3 MB	416