Reasoning about ACL2 file input.

Published in: ACL2 (2006)

Keyphrases

database
data sets
information retrieval
website
file system
spatial reasoning
formal theory
artificial intelligence
knowledge base
multi agent