Login / Signup
Parameterized Dynamic Tables.
Tobias Nipkow
Published in:
Arch. Formal Proofs (2015)
Keyphrases
</>
dynamic environments
high level
query processing
web services
databases
real world
image sequences
high quality
bayesian networks
natural language
dynamically changing