Theorem-proving by semantic tableaux
By: Stephen Victor Reeves.
Publisher: University of Birmingham
Published: 1985
Place of publication: Birmingham
Language: eng
Notes: Thesis (Ph.D.) - University of Birmingham, Centre for Computing and Computer Science, 1985.