Completeness Results for Inequality Provers.

W. W. Bledsoe Kenneth Kunen Robert E. Shostak

Published in: Artif. Intell. (1985)

Keyphrases

theorem prover
theorem proving
object recognition
data quality
decision making
natural language