Program Derivation in Type Theory: A Partitioning Problem.

Kent Petersson Jan M. Smith

Published in: Comput. Lang. (1986)

Keyphrases

theoretical basis
neural network
test cases
theoretical framework
belief functions
real world
learning algorithm
image segmentation
expert systems
artificial neural networks
programming environment