About Proofs by Consistency (Abstract).

Published in: RTA (1998)

Keyphrases

theorem prover
theorem proving
higher level
data sets
real world
high level
consistency checking
information retrieval
search engine
website
database systems
multiscale
objective function
video sequences
formal proof
formal proofs