Login / Signup
On the Connection between Narrowing and Proof by Consistency.
Olav Lysne
Published in:
CADE (1994)
Keyphrases
</>
set intersection
artificial intelligence
data sets
theorem prover
data structure
theorem proving
real time
data mining
information retrieval
genetic algorithm
knowledge base
constraint networks
temporal consistency
digital divide
proof search
mathematical proofs