Login / Signup

Reasoning about ACL2 file input.

Jared Davis
Published in: ACL2 (2006)
Keyphrases
  • database
  • data sets
  • information retrieval
  • website
  • file system
  • spatial reasoning
  • formal theory
  • artificial intelligence
  • knowledge base
  • multi agent