Go to  Advanced Search

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.
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.
URI: http://hdl.handle.net/2429/33349
Series/Report no. UBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/]
Scholarly Level: Graduate

This item appears in the following Collection(s)

Show full item record

All items in cIRcle are protected by copyright, with all rights reserved.

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