Computationally-Sound Proofs.

Published in: Logic Colloquium (1995)

Keyphrases

theorem proving
equational theories
social networks
formal proofs
formal proof
theorem prover
real time
bayesian networks
automated theorem provers
special case
lower bound
face recognition
high level
case study
website
feature selection
artificial intelligence
real world