The source is the proof.

Vivek Haldar Christian H. Stork Michael Franz

Published in: NSPW (2002)

Keyphrases

theorem proving
linear logic
real world
data mining
computer vision
information systems
image processing
case study
wide range
multiple sources