Contents of Report

[Data of Report]

Report Number:: TR0492
Date of Registration:: 1989.07
English Title:: EUODHILOS:A General Approach to Computer Aided Deductive Resoning
Japanese Title:: ***
English Author:: 南　俊夫,沢村　一
Japanese:: T.Minami,H.Sawamura
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0492.pdf

1	Introduction	.... 2
2	EUODHILOS	.... 3
2.1	Language Description in EUODHILOS	.... 4
2.2	Axiom and Derivation Rule Description in EUODHILOS	.... 5
2.3	Consructing Proofs	.... 7
3	Related Systems	.... 8
4	Concluding Remarks	.... 10
5	References	.... 11

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