Proving programs by delta-relations.

Published in: J. Inf. Process. Cybern. (1975)

Keyphrases

computer programs
spatial relations
database
real time
knowledge base
learning algorithm
social networks
image sequences
background knowledge
attribute values
semantic relations
temporal relations
automatic programming
yangtze river