Computation calculus bridging a formalization gap.

Rutger M. Dijkstra

Published in: Sci. Comput. Program. (2000)

Keyphrases

databases
data mining
image processing
high level
genetic algorithm
database systems
knowledge representation
inference rules
parallel computation