Contents of Report

[Data of Report]

Report Number:

TM0343

Date of Registration:

1987.07

English Title:

***

Japanese Title:

情報処理学会 第35回全国大会論文集1;項書換えシステム[Metis]における機能的証明機能

English Author:

A.Osuga,K.Sakai

Japanese:

大須賀　昭彦,酒井　公

Name of Organization to which author belongs:

ICOT,ICOT

PDF:

tm0343.pdf

[Contents]

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