Proof Style.

Published in: TYPES (1996)

Keyphrases

theorem prover
real time
decision making
theorem proving
information retrieval
high level
bayesian networks
multiscale
user interface
provably correct
formal proof
mathematical proofs