A Proof System for Ada Tasks.

Howard Barringer I. Mearns

Published in: Comput. J. (1986)

Keyphrases

information retrieval
data sets
databases
data mining
reinforcement learning
search algorithm
special case
orders of magnitude
modal logic
multi task learning