Proofs as Advanced and Powerful Tool.

Published in: IFIP Congress (1989)

Keyphrases

image segmentation
user friendly
software tools
high level
data mining
search engine
knowledge base
multiscale
multiresolution
theorem prover