A Reduction Specification for DTL.

Jane W. Hughes Malcolm S. Powell

Published in: Program Specification (1981)

Keyphrases

database
computer vision
high level
formal specification
specification language
reduction method
databases
neural network
multi agent
mobile robot