Login / Signup
Logic and Epistemology in Safety Cases.
John Rushby
Published in:
SAFECOMP (2013)
Keyphrases
</>
search engine
logic programming
multi valued
real world
data mining
computational properties
nonmonotonic logics