Login / Signup
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4.
Matt Kaufmann
J Strother Moore
Published in:
ACL2 (2014)
Keyphrases
</>
natural language learning
social networks
database
data mining
artificial intelligence
multimedia
multiscale
natural language processing
formal semantics
language acquisition