Sommers' proof that something exists.

George Englebretsen

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

theorem prover
theorem proving
geometry theorem proving
cooperative
hidden markov models
proof search
machine learning
information retrieval
social networks
case study
three dimensional
high level
computer science
imperative programs