Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer logic Application software Computer programming Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Information Systems Applications (incl. Internet) Programming Techniques |
| ISBN |
1-280-38580-4
9786613563729 3-642-11931-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465340903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / / edited by Ute Schmid, Emanuel Kitzelmann
| Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / / edited by Ute Schmid, Emanuel Kitzelmann |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
SchmidU (Ute)
KitzelmannEmanuel PlasmeijerM. J (Marinus Jacobus) |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Machine theory Computer science Application software Computer programming Software Engineering Artificial Intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Computer and Information Systems Applications Programming Techniques |
| ISBN |
1-280-38580-4
9786613563729 3-642-11931-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910484298903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||