Contents of Report

[Data of Report]

Report Number:

TR0171

Date of Registration:

1986.04

English Title:

***

Japanese Title:

論理式エディタ; 論証支援システムのための論理式作成ツール

English Author:

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

Japanese:

南　俊朗,沢村　一,佐藤　かおる,小野　美由紀,小野　越夫

Name of Organization to which author belongs:

Fujitsu,Fujitsu,Fujitsu,Fujitsu,Fujitsu

PDF:

tr0171.pdf

[Contents]

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