Adding Fair Choice to Dijkstra's Calculus.

Manfred Broy Greg Nelson

Published in: ACM Trans. Program. Lang. Syst. (1994)

Keyphrases

knowledge base
multi agent
machine learning
computer vision
e learning
digital libraries
artificial neural networks
hidden markov models
automated deduction
computer algebra