Declarative Representation of Proof Terms.

Claudio Sacerdoti Coen

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

Keyphrases

data sets
information retrieval
representation scheme
genetic algorithm
learning algorithm
three dimensional
database systems
relational databases
domain specific
domain independent