Sign in
Managing Proofs (Abstract).
Leslie Lamport
Published in:
TACAS (1996)
Keyphrases
</>
theorem proving
database systems
data sets
higher level
high level
state machines
feature selection
knowledge base
image segmentation
multiscale
expert systems
hidden markov models
theorem prover
mission critical
formal proofs