Implementation and Use of Annotations in HOL.

Saraswati Kalvala Myla Archer Karl N. Levitt

Published in: TPHOLs (1992)

Keyphrases

neural network
machine learning
information retrieval
efficient implementation
hardware implementation
implementation issues
decision making
metadata
image processing
semi automatic
theorem prover
gene ontology