Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction).

Bernhard Möller

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

Keyphrases

selected papers
international workshop
computer science
annual conference
invited talk
lecture notes in artificial intelligence
construction process
review process
conference proceedings
dagstuhl castle
artificial intelligence
program committee
asia pacific
data mining
fuzzy logic
test cases