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