Contents of Report

[Data of Report]

Report Number:

TR0873

Date of Registration:

1994.04

English Title:

An Efficient Modal Theorem Prover on MGTP based on Modal Clause Transformation Method

Japanese Title:

様相節変換に基づくMGTP上の様相論理証明器の効率的実現

English Author:

J.Akahani,K.Inoue,R.Hasegawa

Japanese:

赤埴 淳一,井上 克己,長谷川 隆三

Name of Organization to which author belongs:

NTT,Toyohashi Univ,ICOT

PDF:

tr0873.pdf

[Contents]

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