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

Author/creator Schmid, U.
Format Book
Publication InfoBerlin ; New York : Springer, ©2003.
Descriptionxxii, 398 pages : illustrations ; 24 cm.
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.
LCCN 2003059058
ISBN3540401741 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6.S3855 2003 ✔ Available Place Hold