Automatically Translating Type and Function Definitions from HOL to ACL2.

Published in: TPHOLs (2007)

Keyphrases

automatically generated
neural network
cooperative
data sets
databases
image sequences
theorem prover
formal methods
real time
artificial intelligence
similarity measure
multi agent systems