Coq in a Hurry

Published in: CoRR (2006)

Keyphrases

formal methods
theorem prover
knowledge based systems
artificial intelligence
inference rules
relational databases
probability distribution
software development
software architecture