Validating a Range of Endgame Programs.

Wilhelm Barth Stephan Barth

Published in: J. Int. Comput. Games Assoc. (1992)

Keyphrases

computer programs
wide range
programming environment
automatic programming
database
real time
databases
feature selection
image segmentation
control structures
provably correct