Studies in the completeness and efficiency of theoremproving by resolution - Kowalski, Robert 1941- (1970)
Edinburgh, Univ., Diss.
Keywords: Automatic theorem proving -- Theses; Computational logic -- Theses; Proof theory -- Theses