Sign in
On a Logical Foundation for Explicit Substitutions.
Frank Pfenning
Published in:
RTA (2007)
Keyphrases
</>
multiresolution
database
logical operations
data sets
databases
data mining
search engine
decision trees
case study