resolution-based theorem prover
By: Supervised by: Gallimore, R.M..
Contributors: Gallimore, R. M., Supervisor.; Computation.
Publisher: UMIST
Published: 1983
Place of publication: Manchester
Language: eng
Notes: Thesis number: 6428.

msc.