Nonstandard Analysis in ACL2.

Ruben Gamboa Matt Kaufmann

Published in: J. Autom. Reason. (2001)

Keyphrases

data mining
information retrieval
wide range
computational model
data sets
website
trade off
image analysis
multiresolution
automatic analysis