Axiomatization of Declarations and the Formal Treatment of an Escape Construct.

Maarten M. Fokkinga

Published in: Formal Description of Programming Concepts (1977)

Keyphrases

formal treatment
genetic algorithm
reinforcement learning
data sets
learning algorithm
artificial intelligence
multi agent
control system
special case