Integrating external deduction tools with ACL2.

Matt Kaufmann J Strother Moore Sandip Ray Erik Reeber

Published in: J. Appl. Log. (2009)

Keyphrases

software tools
internal and external
machine learning
decision support
real time
real world
data mining
artificial intelligence
social networks
web services
relational databases
building blocks
software components
inference rules
theorem proving
automated deduction