Industrial-Strength Documentation for ACL2.

Jared Davis Matt Kaufmann

Published in: ACL2 (2014)

Keyphrases

industrial strength
natural language learning
text mining
real world
data mining
information systems
computer science
website
case study
high level
trade off
business processes