Contents of Report

[Data of Report]

Report Number:: TR0860
Date of Registration:: 1993.11
English Title:: Modal Plopositional Tableaux in a Model Generation Theorem Prover
Japanese Title:: ***
English Author:: M.Koshimura,R.Hasegawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0860.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	MGTP	.... 3
3	Modal Propositional Tableaux	.... 5
4	Modal Propositional Tableaux in MGTP	.... 5
5	An Example	.... 6
6	Results of Experiments	.... 7
7	Conclusion	.... 9
	References	.... 9

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