Types, Tableaus and Gödel's God in Isabelle/HOL.

David Fuenmayor Christoph Benzmüller

Published in: Arch. Formal Proofs (2017)

Keyphrases

theorem prover
natural deduction
inference rules
computer vision
e learning
metadata
clustering algorithm
real time
learning algorithm
image processing
similarity measure
data structure
probabilistic model
theorem proving