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

Author/creator Schmid, U.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxxii, 398 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture notes in computer science ; 2654. Lecture notes in artificial intelligence
Lecture notes in computer science ; 2654. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Bibliography noteIncludes bibliographical references (p. [327]-340) and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2003059058
ISBN3540401741 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available