-Complete, A Simpler Proof.

Amir Ben-Dor Shai Halevi

Published in: ISTCS (1993)

Keyphrases

information retrieval
computer science
real time
data mining
artificial intelligence
information systems
web pages
knowledge base
data structure
inference rules
theorem prover
natural deduction