Login / Signup
Formalization of Birth-Death and IID processes in higher-order logic.
Liya Liu
Osman Hasan
Sofiène Tahar
Published in:
SysCon (2017)
Keyphrases
</>
higher order logic
higher order
logical framework
theorem prover
conditional logic
pairwise
object oriented
knowledge representation
belief revision
theorem proving