Login / Signup
Unifying theories of healthiness condition.
Jifeng He
C. A. R. Hoare
Published in:
APSEC (2000)
Keyphrases
</>
sufficient conditions
theoretical framework
multiscale
artificial intelligence
three dimensional
database systems
bayesian networks
special case
hidden markov models
domain knowledge
defeasible logic