An ACL2 Tutorial.

Matt Kaufmann J Strother Moore

Published in: TPHOLs (2008)

Keyphrases

natural language learning
database
data mining
fundamental principles
data sets
information systems
metadata
special case