How Can I Do That with ACL2? Recent Enhancements to ACL2

Matt Kaufmann J Strother Moore

Published in: ACL2 (2011)

Keyphrases

natural language learning
information systems
database
real world
machine learning
information retrieval
image segmentation
objective function
multi agent systems
fipa acl