Contents of Report

[Data of Report]

Report Number:: TR0505
Date of Registration:: 1989.09
English Title:: General-purpose Reasoning Assistants System EUODHILOS
Japanese Title:: 汎用論証支援システム EUODHILOS
English Author:: T.Minami,H.Sawamura,K.Yokota,K.Ohashi,T.Ohtani
Japanese:: 南　俊朗,沢村　一,横田　かおる,大橋　恭子,大谷　武
Name of Organization to which author belongs:: ICOT,ICOT,Fujitsu,Fujitsu,ICOT
PDF:: tr0505.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Configuration	.... 2
2.1	Language Description	.... 3
2.2	Axiom and Derivation Rule Description	.... 3
2.3	Constructing Proofs	.... 4
2.4	Comparisons to Related Systems	.... 4
3	Concluding Remarks	.... 5
	References	.... 6

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