Reason: Access restricted by the author. A copy can be requested for private research and study by contacting your university library for a document delivery request.
Automatic theorem proving in first order predicate logic
thesisposted on 2022-04-08, 05:46 authored by Goddard, Peter William.
This thesis was scanned from the print manuscript for digital preservation and is copyright the author. Researchers can access this thesis by asking their local university, institution or public library to make a request on their behalf. Monash staff and postgraduate students can use the link in the References field.