Hostname: page-component-5b777bbd6c-5mwv9 Total loading time: 0 Render date: 2025-06-19T22:22:57.495Z Has data issue: false hasContentIssue false

Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741

Published online by Cambridge University Press:  15 February 2007

GREG MICHAELSON*
Affiliation:
Heriot Watt University, UK
Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Book Review
Copyright
Copyright © Cambridge University Press 2007
Submit a response

Discussions

No Discussions have been published for this article.