Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
Published 1984
Springer Berlin Heidelberg
Table of Contents: “.... Unification -- 253. Units -- 254. The UT Theorem Prover -- 255. Variable-Valued Logic -- 256. Version Space...”