Procedural Representation of CIC Proof Terms.

Ferruccio Guidi

Published in: J. Autom. Reason. (2010)

Keyphrases

computer vision
feature representation
search engine
website
case study
three dimensional
domain knowledge
co occurrence
image representation
theorem proving