A Report on ICL HOL.

Published in: TPHOLs (1991)

Keyphrases

theorem prover
artificial intelligence
database systems
software engineering
domain specific
logic programming
formal methods
higher order logic