Implementing Z in Isabelle.

Ina Kraan Peter Baumann

Published in: ZUM (1995)

Keyphrases

theorem prover
expert systems
efficient implementation
information systems
database systems
data mining
computer vision
case study
pairwise
digital images
theorem proving