Login / Signup
Clocked Definitions in HOL.
Ramana Kumar
Magnus O. Myreen
Published in:
CoRR (2018)
Keyphrases
</>
low power
theorem prover
formal methods
hidden markov models
real time
genetic algorithm
computer vision
decision making
high level
multi agent
management system
theorem proving
natural deduction