Contents of Report

[Data of Report]

Report Number:

TR0810

Date of Registration:

1992.10

English Title:

A Pruning Technique for Abduction on Model Generation Thorem Provers

Japanese Title:

モデル生成型定理証明器を用いたアブダクションの計算における効率化手法

English Author:

Y.Ohta,K.Inoue,R.Hasegawa,M.Nakashima

Japanese:

太田　好彦,井上　克巳,長谷川　隆三,中島　誠

Name of Organization to which author belongs:

ICOT,ICOT,ICOT,JIPDEC

PDF:

tr0810.pdf

[Contents]

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