Inductive synthesis of functional programs

Permalink: http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:34799/Details
Glavni autor: Schmid, U. (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Berlin ; New York : Springer, c2003.
Nakladnička cjelina: Lecture notes in computer science ; 2654.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Predmet:
Online pristup: Publisher description
LEADER 01432cam a22003134a 4500
005 20130713153417.0
008 030721s2003 gw a b 001 0 eng
010 |a  2003059058 
020 |a 3540401741 (softcover : alk. paper) 
040 |a DLC  |c DLC  |d HR-ZaFER  |b hrv  |e ppiak 
042 |a pcc 
050 0 0 |a QA76.6  |b .S3855 2003 
082 0 0 |a 005.1  |2 22 
100 1 |a Schmid, U.  |q (Ute) 
245 1 0 |a Inductive synthesis of functional programs :  |b universal planning, folding of finite programs, and schema abstraction by analogical reasoning /  |c Ute Schmid. 
260 |a Berlin ;  |a New York :  |b Springer,  |c c2003. 
300 |a xxii, 398 p. :  |b ill. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science ;  |v 2654. Lecture notes in artificial intelligence 
504 |a Includes bibliographical references (p. [327]-340) and index. 
650 0 |a Computer programming. 
650 0 |a Software engineering. 
650 0 |a Artificial intelligence. 
830 0 |a Lecture notes in computer science ;  |v 2654. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
856 4 2 |3 Publisher description  |u http://www.loc.gov/catdir/enhancements/fy0818/2003059058-d.html 
906 |a 7  |b cbc  |c orignew  |d 1  |e ocip  |f 20  |g y-gencatlg 
942 |2 udc  |c K 
955 |a pc17 2003-07-21 to ASCD  |c jf05 2003-07-22 to subj.  |a aa20 2003-07-25  |a dj25 2003-12-09 1 copy rec'd., to CIP ver.  |a jf00 2004-01-15; 
999 |c 34799  |d 34799