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

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

Saved in:
Bibliographic Details
Main Author: Schmid, U. (Ute)
Format: Book
Language:English
Published: Berlin ; London : Springer, c2003.
Series:Lecture notes in computer science, 2654.
Subjects:
Computer programming
Software engineering
Artificial intelligence
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xxii, 398 p. : ill. (pbk.) ; 24 cm.
Bibliography:Includes bibliographical references and index
ISBN:3540401741
ISSN:0302-9743 ;

Similar Items