Strategies for improving the efficiency of automatic theorem-proving
By: Donald Kuehner
Contributors: University of Edinburgh
Published: 1971
Language: eng
Notes: Thesis (doctoral)--University of Edinburgh, 1971.