Contents of Report

[Data of Report]

Report Number:

TR0559

Date of Registration:

1990.05

English Title:

Resolution Algorithms for Horn Clauses using Retrieval-by- Unification Operation on Term Relations

Japanese Title:

項関係上での単一化検索を使ったホーン節推論アルゴリズム

English Author:

H.Yokota,H.Kitakami,A.Hattori

Japanese:

横田　治,夫北上　始,服部　彰

Name of Organization to which author belongs:

Fujitsu,Fujistu,Fujistu

PDF:

tr0559.pdf

[Contents]

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