Automatic Proof Methods for Algebraic Specifications.

Emmanuel Kounalis Michaël Rusinowitch

Published in: FCT (1991)

Keyphrases

computational cost
image processing
object recognition
neural network
logic programs
empirical studies
benchmark datasets
fully automatic