Go to  Advanced Search

Please note that cIRcle is currently being upgraded to DSpace v5.1. The upgrade means that the cIRcle service will *not* be accepting new submissions from 5:00 PM on September 1, 2015 until 5:00 PM on September 4, 2015. All cIRcle material will still be accessible during this period. Apologies for any inconvenience. [CYPRESS]

A unit resolution theorem proving system

Show full item record

Files in this item

Files Size Format Description   View
UBC_1972_A6_7 L46.pdf 2.022Mb Adobe Portable Document Format   View/Open
Title: A unit resolution theorem proving system
Author: LeQuesne, Peter Neave
Degree: Master of Science - MSc
Program: Computer Science
Copyright Date: 1972
Subject Keywords Automatic theorem proving.
Issue Date: 2011-04-06
Publisher University of British Columbia
Series/Report no. UBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/]
Abstract: A unit resolution theorem proving system is developed and compared with the previous work of C.L. Chang. This thesis includes a description of a particular approach to unit resolution and a description of the resulting program and its effectiveness.
Affiliation: Science, Faculty of
URI: http://hdl.handle.net/2429/33349
Scholarly Level: Graduate

This item appears in the following Collection(s)

Show full item record

UBC Library
1961 East Mall
Vancouver, B.C.
Canada V6T 1Z1
Tel: 604-822-6375
Fax: 604-822-3893