Formal Techniques and Sizeable Programs.

Edsger W. Dijkstra

Published in: ECI (1976)

Keyphrases

real time
neural network
e learning
website
bayesian networks
multiscale
data structure
programming language
formal model
answer sets
intermediate level
formal language
application programs
prolog programs