UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

A unit resolution theorem proving system LeQuesne, Peter Neave

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.

Item Media

Item Citations and Data

License

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.

Usage Statistics