Contents of Report

[Data of Report]

Report Number:

TM0203

Date of Registration:

1986.10

English Title:

***

Japanese Title:

情報処理学会　第33回全国大会論文集-5;論証支援システムのための論理式エディタ

English Author:

K.Sato,K.Tsuchiya,E.Ono,H.Sawamura,T.Minami

Japanese:

佐藤　かおる,土屋　恭子,小野　越夫,沢村　一,南　俊朗

Name of Organization to which author belongs:

FUJITSU,FUJITSU,FUJITSU,FUJITSU,FUJITSU

PDF:

tm0203.pdf

[Contents]

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