A note on proofs of falsehood.

Published in: Arch. Math. Log. (1987)

Keyphrases

theorem proving
theorem prover
decision procedures
data sets
neural network
onset detection
mathematical knowledge
first order logic
data analysis
image processing
knowledge base
pairwise
multiresolution
object recognition
search algorithm
feature extraction
equational theories
database