NDLTD Global ETD Search
New Search
Return to search
A generic proof checker
No description available.
Links & Downloads
http://espace.library.uq.edu.au/view/UQ:105927
Tags
280403 Logics and Meanings of Programs
Additional Fields
Identifer
oai:union.ndltd.org:ADTP/254757
Creators
Watson, G. N.
Source Sets
Australiasian Digital Theses Program
Detected Language
English
Page generated in 0.002 seconds