Contents of Report

[Data of Report]

Report Number:: TR0212
Date of Registration:: 1986.11
English Title:: A Construction of Computer-Assisted-Reasoning System
Japanese Title:: 論証支援システムの一構成
English Author:: T.Minami,H.Sawamura
Japanese:: 南　俊朗,沢村　一
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0212.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	論証支援システムとは	.... 2
3	論証支援システムの構成	.... 3
3.1	ユーザ・インタフェース支援機能	.... 3
3.2	論理系操作支援機能	.... 3
3.3	公理系操作支援機能	.... 3
3.4	定理証明支援機能	.... 4
4	論証支援システムの現状	.... 4
4.1	論理式入力エディタ	.... 4
4.2	定理証明支援機能	.... 4
4.3	仮想キーボード	.... 4
5	おわりに	.... 5
	謝辞	.... 5
	参考文献	.... 5

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports