Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Ute Schmid

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning

Berlin, Heidelberg: Springer, c 2003

Title

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid

Involved 

Ute Schmid (Mitwirkender)

Published

Berlin, Heidelberg: Springer
c 2003

Extent

Online-Ressource

ISBN

978-3-540-44846-4

Language

Englisch

Topic

Informatik
Mathematik

Subject

Automatische Programmierung, Funktionale Programmierung, Programmsynthese, Induktion, Online-Publikation

Series

Lecture notes in computer science ; 2654

Other editions

Erscheint auch als Druck-Ausgabe: Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning

Persistent identifier

urn:nbn:de:1111-200407262837 (URN)
10.1007/b12055 (DOI)

Further information

Lizenzpflichtig

Record ID

971896771
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal