Studies in the completeness and efficiency of theorem-proving by resolution
By: Robert Kowalski
Contributors: University of Edinburgh
Published: 1970
Language: eng
Notes: Thesis (doctoral)--University of Edinburgh, 1970.