Contents of Report

[Data of Report]

Report Number:

TM0313

Date of Registration:

1989

English Title:

***

Japanese Title:

情報処理学会 第35回全国大会論文集1;落書帳からの証明;計算機による論証支援のための証明方法論の考察

English Author:

T.Minami,H.Sawamura

Japanese:

南　俊朗,沢村　一

Name of Organization to which author belongs:

FUJITSU,FUJITSU

PDF:

tm0313.pdf

[Contents]

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