Foreword (Special Issue on Mathematics of Program Construction).

Jan L. A. van de Snepscheut

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

Keyphrases

special issue
ai edam
ecml pkdd
international journal
applied intelligence
construction process
machine learning
artificial intelligence
computer science
test cases
computer programs
computer programming
special section
computer algebra