Login / Signup
On a Logical Foundation for Explicit Substitutions.
Frank Pfenning
Published in:
TLCA (2007)
Keyphrases
</>
database
image processing
artificial intelligence
logical framework
data mining
web services
face recognition
bayesian networks
predicate calculus