Towards Lean Proof Checking.

Gilles Barthe Hugo Elbers

Published in: DISCO (1996)

Keyphrases

theorem prover
special case
consistency checking
databases
probabilistic model
database
data mining
machine learning
artificial intelligence
computer vision
multimedia
image sequences
video sequences
theorem proving
logical rules