TY  - BOOK
AU  - Schmid,Ute
AU  - Kitzelmann,Emanuel
AU  - Plasmeijer,Rinus
ED  - SpringerLink (Online service)
TI  - Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783642119316
AV  - QA76.758 
U1  - 005.1 23
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Information systems
KW  - Artificial intelligence
KW  - Computer Science
KW  - Software Engineering
KW  - Artificial Intelligence (incl. Robotics)
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Information Systems Applications (incl.Internet)
KW  - Programming Techniques
N1  - Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using Generic Programming -- Regular Papers -- Inductive Programming: A Survey of Program Synthesis Techniques -- Incremental Learning in Inductive Programming -- Enumerating Well-Typed Terms Generically -- Generalisation Operators for Lists Embedded in a Metric Space -- Porting IgorII from Maude to Haskell -- Automated Method Induction: Functional Goes Object Oriented -- Recent Improvements of MagicHaskeller
UR  - http://dx.doi.org/10.1007/978-3-642-11931-6
ER  -