Efficient Representation and Computation of Tableau Proofs.

Klaus Schneider Ramayya Kumar Thomas Kropf

Published in: TPHOLs (1992)

Keyphrases

information retrieval
feature representation
databases
cost effective
artificial intelligence
website
bayesian networks
data structure
search algorithm
d objects
lightweight
theorem proving
efficient computation
equational theories