CS Proofs (Extended Abstracts)

Published in: FOCS (1994)

Keyphrases

theorem prover
image processing
case study
computer science
data mining
artificial intelligence
digital libraries
hidden markov models
theorem proving
decision procedures
natural deduction