Contents of Report

[Data of Report]

Report Number:: TR0566
Date of Registration:: 1990.03
English Title:: ***
Japanese Title:: KL1による定理証明プログラム
English Author:: H.Fujita,R.Hasegawa
Japanese:: 藤田　博,長谷川　隆三
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0566.pdf

[Contents]

1	はじめに	.... 2
2	SATCHMO	.... 2
3	KL1ｲンプリメンテーション	.... 4
3.1	問題点	.... 4
3.2	解決策	.... 4
3.3	インタプリタ	.... 5
4	性能評価	.... 7
5	議論	.... 8
6	結論	.... 9
	謝辞	.... 10
	参考文献	.... 10
付録;	SATCHMO(KL1版)による問題記述(S2,S3)	.... 11

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

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