Toward a Theorem Proving Architecture

Author: Lien, Sheue-Ling C.

Year: 1981

Degree: Master's thesis

Advisor: Unknown, Unknown

Committee Member: Unknown, Unknown

Option: Computer Science

DOI: 10.7907/ctky-sp95

Abstract

No abstract.

Files