Contents of Report

[Data of Report]

Report Number:: TR0843
Date of Registration:: 1993.04
English Title:: ***
Japanese Title:: 等式論理の帰納的定理を証明する手続き
English Author:: A.Ohsuga,K.Sakai,S.Honiden
Japanese:: 大須賀　昭彦,坂井　公,本位田　真一
Name of Organization to which author belongs:: Toshiba,Tsukuba Univ.,Toshiba
PDF:: tr0843.pdf

目次をクリックすると、PDFファイルが表示されます。