Axiomatic Constructor Classes in Isabelle/HOLCF.

Brian Huffman John Matthews Peter White

Published in: TPHOLs (2005)

Keyphrases

theorem prover
artificial intelligence
real world
information retrieval
image processing
decision trees
relational databases
multi class
object detection
class labels
theorem proving
natural deduction