Division of Informatics
Forrest Hill & 80 South Bridge
PhD Thesis #9228
Title:
Metalevel and Reflexive Extension in Mechanical Theorem Proving
Authors:
Matthews,S
Date:
1992
Presented:
Keywords:
Abstract:
abstract n/a at present
Download:
NO ONLINE COPY