MPG.eBooks - Search Results - "algorithmics"

Search alternatives:
"algorithmics" » "algorithmic", "algorithms", "algorithmus"

Cover Image

1

Computer Program Synthesis Methodologies : Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

Published 1983

Springer Netherlands

Table of Contents: “... -- Program Synthesis from Examples of Behavior -- Deductive Synthesis of the Unification Algorithm...”