Sign in
Automatically Deriving Schematic Theorems for Dynamic Contexts.
Olivier Savary Bélanger
Kaustuv Chaudhuri
Published in:
LFMTP (2014)
Keyphrases
</>
database
databases
natural language
changing environment
dynamically changing