An Interpretation of NODEN in HOL.

Brian T. Graham

Published in: TPHOLs (1994)

Keyphrases

image interpretation
theorem prover
formal methods
higher order logic
case study
relational databases
natural deduction
data sets
databases
search engine
decision making
knowledge base
clustering algorithm
software engineering
semantic interpretation
probabilistic interpretation