Memories: array-like records for ACL2.

Published in: ACL2 (2006)

Keyphrases

databases
natural language learning
database
image processing
record linkage
neural network
decision trees
search algorithm
association rules
programmable logic
covering arrays
content addressable