Contents of Report

[Data of Report]

Report Number:

TM0027

Date of Registration:

1983.09

English Title:

An Ordered Linear Resolution Theorem Proving Program im prolog

Japanese Title:

***

English Author:

K.Mukai,K.Furukawa

Japanese:

***

Name of Organization to which author belongs:

ICOT,ICOT

PDF:

tm0027.pdf

[Contents]

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda