skip to content
Approaches and Applications of Inductive Programming. Preview this item
ClosePreview this item
Checking...

Approaches and Applications of Inductive Programming.

Author: Ute Schmid.; Emanuel Kitzelmann.
Publisher: Springer-Verlag Berlin Heidelberg 2010.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Constitutes revised papers of the Third International Workshop on approaches and Applications of Inductive Programming, AAIP 2009, held in Edinburgh, UK, in September 2009. Containing 7 full papers  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ute Schmid.; Emanuel Kitzelmann.
ISBN: 1280385804 9781280385803 9783642119309 3642119301
OCLC Number: 817074890
Description: 1 online resource (203 pages)
Contents: 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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/817074890> # Approaches and Applications of Inductive Programming.
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
   library:oclcnum "817074890" ;
   schema:about <http://dewey.info/class/005.114/e22/> ;
   schema:author <http://experiment.worldcat.org/entity/work/data/869310773#Person/emanuel_kitzelmann> ; # Emanuel Kitzelmann.
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/869310773#Agent/ute_schmid> ; # Ute Schmid.
   schema:datePublished "2010" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/869310773> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:name "Approaches and Applications of Inductive Programming."@en ;
   schema:productID "817074890" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/817074890#PublicationEvent/springer_verlag_berlin_heidelberg2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/869310773#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/978-3-642-11931-6> ;
   schema:url <http://www.myilibrary.com?id=356372> ;
   schema:url <http://www.myilibrary.com?id=356372&ref=toc> ;
   schema:workExample <http://worldcat.org/isbn/9783642119309> ;
   schema:workExample <http://worldcat.org/isbn/9781280385803> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/817074890> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/869310773#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/869310773#Person/emanuel_kitzelmann> # Emanuel Kitzelmann.
    a schema:Person ;
   schema:name "Emanuel Kitzelmann." ;
    .

<http://worldcat.org/isbn/9781280385803>
    a schema:ProductModel ;
   schema:isbn "1280385804" ;
   schema:isbn "9781280385803" ;
    .

<http://worldcat.org/isbn/9783642119309>
    a schema:ProductModel ;
   schema:isbn "3642119301" ;
   schema:isbn "9783642119309" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.