Ballantyne, Rob S

Resource type

Thesis

Thesis type

(Thesis) M.Sc.

Date created

1995

Authors/Contributors

Author: Ballantyne, Rob S

Copyright statement

Copyright is held by the author.

Permissions

The author has not granted permission for the file to be printed nor for the text to be copied and pasted. If you would like a printable copy of this thesis, please contact summit-permissions@sfu.ca.

Scholarly level

Graduate student (Masters)

Supervisor or Senior Supervisor

Thesis advisor: Thomason, S.K.

Language

English

Member of collection

Statistics and Actuarial Science Theses

Mathematics Theses

Download file	Size
b1772806x.pdf	1.08 MB

Resolution theorem proving revisited

Views & downloads - as of June 2023