विषयसूची
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.
यह ईबुक खरीदें और 1 और मुफ़्त पाएं!
भाषा अंग्रेज़ी ● स्वरूप PDF ● पेज 195 ● ISBN 9783642119316 ● संपादक Ute Schmid & Emanuel Kitzelmann ● प्रकाशक Springer Berlin ● शहर Heidelberg ● देश DE ● प्रकाशित 2010 ● डाउनलोड करने योग्य 24 महीने ● मुद्रा EUR ● आईडी 2171724 ● कॉपी सुरक्षा Adobe DRM
एक DRM सक्षम ईबुक रीडर की आवश्यकता है