Contents of Report

[Data of Report]

Report Number:

TM1271

Date of Registration:

1993.06

English Title:

MGTP;A Parallel Model Generation Theorem Prover on PIM

Japanese Title:

PIM上の並列定理証明系MGTP

English Author:

R.Hasegawa,M.Koshimura,H.Fujita,M.Fujita

Japanese:

長谷川　隆三,越村　三幸,藤田　博,藤田　正幸

Name of Organization to which author belongs:

ICOT,ICOT,MITSUBISHI,MISTUBISHI

PDF:

tm1271.pdf

[Contents]

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