Contents of Report

[Data of Report]

Report Number:

TR0885

Date of Registration:

1994.08

English Title:

MGTP;A Model Generation Theorem Prover in the Concurrent Logic Programming Language KL1

Japanese Title:

MGTP;並行論理型言語KL1によるモデル生成型定理証明系

English Author:

R.Hasegawa,H.Fujita

Japanese:

長谷川 隆三,藤田 博

Name of Organization to which author belongs:

ICOT,MITSUBISHI

PDF:

tr0885.pdf

[Contents]

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