Login / Signup
Verifying an Applicative ATP Using Multiset Relations.
Francisco-Jesús Martín-Mateos
José-Antonio Alonso
María-José Hidalgo
José-Luis Ruiz-Reina
Published in:
EUROCAST (2001)
Keyphrases
</>
automated theorem proving
machine learning
relational databases
real time
search engine
website
clustering algorithm
three dimensional
bayesian networks
background knowledge
model checking