Constructing Programs or Processes.

Steve Reeves David Streader

Published in: J. Univers. Comput. Sci. (2005)

Keyphrases

intermediate level
information systems
fixpoint
automatic programming
real world
genetic algorithm
learning algorithm
decision making
image processing
information technology
communication channels
provably correct