UBC Theses and Dissertations
A unit resolution theorem proving system LeQuesne, Peter Neave
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 Citations and Data