Revising basic theorem proving algorithms to cope with the logic of partial functions /
Jones, C. B.(Cliff B.),1944-author.
Lovert, Matthew J.,author.
Steggles, L. J.,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"March 2014."