C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalizing Soundness of Contextual Effects.
Polyvios Pratikakis
Jeffrey S. Foster
Michael Hicks
Iulian Neamtiu
Published in:
TPHOLs (2008)
Keyphrases
</>
contextual information
context dependent
data sets
three dimensional
computer based instruction
database
decision making
decision trees
database systems
case based reasoning