1
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Invited Papers -- Automated Synthesis of Data Analysis Programs: Learning in Logic...