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.
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