Contents of Report

[Data of Report]

Report Number:

TR0224

Date of Registration:

1986.01

English Title:

An Approach to Proof Checker

Japanese Title:

***

English Author:

K.Hirose,K.Yokota,K.Sakai

Japanese:

***

Name of Organization to which author belongs:

Waseda Univ.,ICOT,ICOT

PDF:

tr0224.pdf

[Contents]

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