Bild från Syndetics
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.
Materialtyp:
TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Utgåva: 1st ed. 2010Beskrivning: IX, 195 p. 14 illus. online resourceInnehållstyp: - text
- computer
- online resource
- 9783642119316
- Software Engineering
- Artificial Intelligence
- Formal Languages and Automata Theory
- Computer Science Logic and Foundations of Programming
- Computer and Information Systems Applications
- Programming Techniques
- Software engineering
- Artificial intelligence
- Machine theory
- Computer science
- Application software
- Computer programming
- 005.1 23
Innehåll:
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.
Inga fysiska exemplar för denna post
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.
Licensed e-book