Image from Amazon.com
Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer.
Series: Lecture Notes in Computer Science ; 5812Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: IX, 195 p. 14 illus. online resourceContent type:- text
- computer
- online resource
- 9783642119316
- Computer science
- Computer programming
- Software engineering
- Computer logic
- Mathematical logic
- Artificial intelligence
- Computer Science
- Software Engineering
- Artificial Intelligence (incl. Robotics)
- Mathematical Logic and Formal Languages
- Logics and Meanings of Programs
- Information Systems Applications (incl. Internet)
- Programming Techniques
- 005.1 23
- QA76.758
Contents:
In:
Springer eBooks
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.
eBooks
No physical items for this record
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.