Topics in automated theorem proving
By: Christopher Andrew Johnson.
Publisher: typescript
Published: 1989
Place of publication: [s.l.]
Language: eng
Notes: Thesis (M.Sc.) - University of Warwick, 1989.