Login / Signup
A System for Checking Semi-formal Proofs.
Nachiappan Veerappan Nachiappan
Jarred Blount
J. Nelson Rushton
Published in:
FECS (2008)
Keyphrases
</>
formal proofs
consistency checking
data sets
database
databases
artificial intelligence
computer vision
preprocessing
expert systems
high dimensional
dynamic programming
verification method