İçerik tablosu
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 Igor II from Maude to Haskell.- Automated Method Induction: Functional Goes Object Oriented.- Recent Improvements of Magic Haskeller.Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● Sayfalar 195 ● ISBN 9783642119316 ● Editör Ute Schmid & Emanuel Kitzelmann ● Yayımcı Springer Berlin ● Kent Heidelberg ● Ülke DE ● Yayınlanan 2010 ● İndirilebilir 24 aylar ● Döviz EUR ● Kimlik 2171724 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir