Login / Signup

Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4.

Matt KaufmannJ 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