LEADER 02704nam  2200625Ia 450 
001 9910484298903321
005 20200520144314.0
010   $a1-280-38580-4
010   $a9786613563729
010   $a3-642-11931-X
024 7 $a10.1007/978-3-642-11931-6
035   $a(CKB)2670000000010114
035   $a(SSID)ssj0000399590
035   $a(PQKBManifestationID)11279265
035   $a(PQKBTitleCode)TC0000399590
035   $a(PQKBWorkID)10375787
035   $a(PQKB)10590379
035   $a(DE-He213)978-3-642-11931-6
035   $a(MiAaPQ)EBC3065168
035   $a(PPN)149059736
035   $a(EXLCZ)992670000000010114
100   $a20100329d2010      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aApproaches and applications of inductive programming $ethird international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009 : revised papers /$fUte Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
205   $a1st ed. 2010.
210   $aBerlin $cSpringer$dc2010
215   $a1 online resource (IX, 195 p. 14 illus.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v5812
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-11930-1 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aLecture notes in computer science ;$v5812.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aAAIP 2009
606   $aInductive programming$vCongresses
606   $aFunctional programming (Computer science)$vCongresses
615  0$aInductive programming
615  0$aFunctional programming (Computer science)
676   $a005.1
701   $aSchmid$b U$g(Ute)$0564613
701   $aKitzelmann$b Emanuel$01750512
701   $aPlasmeijer$b M. J$g(Marinus Jacobus)$01750513
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484298903321
996   $aApproaches and applications of inductive programming$94185158
997   $aUNINA