Contents of Report

[Data of Report]

Report Number:

TM0795

Date of Registration:

***

English Title:

***

Japanese Title:

論証支援システムのための証明支援;思考ノートによる証明方法

English Author:

K.Yokota,K.Ohashi,H.Sawamura,T.Minami

Japanese:

横田　かおる,大橋　恭子,沢村　一,南　俊朗

Name of Organization to which author belongs:

FUJITSU,FUJITSU,FUJITSU,FUJITSU

PDF:

tm0795.pdf

[Contents]

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