Contents of Report

[Data of Report]

Report Number:

TM0197

Date of Registration:

1986.08

English Title:

***

Japanese Title:

情報処理学会　第33回全国大会論文集-3;論証支援のための証明コンストラクタ

English Author:

T.Minami,H.Sawamura

Japanese:

南　俊朗,沢村　一

Name of Organization to which author belongs:

FUJITSU,FUJITSU

PDF:

tm0197.pdf

[Contents]

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