Reason: Access restricted by the author. A copy can be requested for private reseach and study by contacting your intitution's library service. This copy cannot be republished
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.