Login / Signup
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.
Larry Wos
Steve Winker
Barry Smith
Robert Veroff
Lawrence J. Henschen
Published in:
Artif. Intell. (1984)
Keyphrases
</>
automated reasoning
open questions
knowledge representation
probabilistic reasoning
reasoning tasks
real world
machine learning
data model
special case
theorem proving