Automating (Specififation = Implementation) Using Equational Reasoning and LOTOS.

Carron Kirkwood

Published in: TAPSOFT (1993)

Keyphrases

database
machine learning
general purpose
implementation details
implementation issues
artificial intelligence
website
image sequences
reinforcement learning
support vector
digital libraries
low cost