Axiomatisation des Tests.

Christophe Benoit

Published in: Theor. Comput. Sci. (1985)

Keyphrases

image segmentation
image processing
modal logic
computer vision
high level
inference rules
databases
website
image sequences
functional dependencies
real time
neural network
real world
multi agent systems
test data