Login / Signup
HOL Around the World.
Sara Kalvala
Published in:
TPHOLs (1991)
Keyphrases
</>
formal methods
theorem prover
databases
artificial intelligence
image processing
social networks
computer vision
control system
knowledge based systems
human beings
world model