Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Matt Kaufmann J Strother Moore

Published in: ACL2 (2013)

Keyphrases

natural language learning
artificial neural networks
image processing
relational databases
database
data mining
learning algorithm
decision making
management system