Login / Signup

ACL2s: "The ACL2 Sedan".

Peter C. DillingerPanagiotis ManoliosDaron VroonJ Strother Moore
Published in: ICSE Companion (2007)
Keyphrases
  • natural language learning
  • relational databases
  • databases
  • information retrieval
  • web services
  • lightweight