Login / Signup
Implicit proofs
Jan Krajícek
Published in:
Electron. Colloquium Comput. Complex. (2003)
Keyphrases
</>
artificial intelligence
theorem proving
databases
multi agent
explicit knowledge
formal proof
data sets
knowledge base
optimal solution
computational complexity
decision procedures
formal proofs
equational theories