Sign in

Reasoning about digital artifacts with ACL2.

J Strother Moore
Published in: PLPV (2011)
Keyphrases
  • high quality
  • databases
  • social networks
  • natural language learning
  • real world
  • information retrieval
  • metadata
  • image processing
  • database systems
  • multiscale
  • digital curves
  • formal theory