Proving Programs by Sets of Computations.

Published in: MFCS (1974)

Keyphrases

artificial intelligence
data mining
multi agent
database
real world
learning algorithm
computer vision
image processing
high level
expert systems
special case
computer programs
fixpoint
intermediate level