An Integration of HOL and ACL2.

Michael J. C. Gordon James Reynolds Warren A. Hunt Jr.Matt Kaufmann

Published in: FMCAD (2006)

Keyphrases

digital libraries
database
information systems
data integration
natural language learning
genetic algorithm
learning algorithm
similarity measure
multi agent
business processes
computational model
first order logic
information integration
theorem proving