C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards a Proof Framework for Information Systems with Weak Consistency.
Peter Zeller
Arnd Poetzsch-Heffter
Published in:
SEFM (2016)
Keyphrases
</>
information systems
main contribution
databases
probabilistic model
logical framework
neural network
information retrieval
bayesian networks
lightweight
health care