Modelling Non-Deterministic System in HOL.

Published in: TPHOLs (1992)

Keyphrases

theorem prover
database
computer vision
black box
databases
artificial intelligence
theorem proving
conceptual modelling
randomized algorithms