Contents of Report

[Data of Report]

Report Number:: TM0424
Date of Registration:: 1987.12
English Title:: ***
Japanese Title:: 項書換えに基づく帰納敵定理証明
English Author:: A.Osuga,K.Sakai
Japanese:: 大須賀　昭彦,坂井　公
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0424.pdf

[Contents]

	Abstract	.... 2
	あらまし	.... 2
1	はじめに	.... 2
2	準備	.... 2
3	項書換エキスパートシステムシステム生成系Metis[Osuga 86]	.... 3
4	Metisにおける潜在帰納法	.... 5
5	アルゴリズム	.... 8
6	実行例	.... 9
7	おわりに	.... 12
8	参考文献	.... 12
	End	.... 13

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda