Inductive synthesis of functional programs : universal planning, folding of finite programs, and sch - detaljert visning

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

Ute Schmid
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	XXII, 398 s. : ill.
Emner	Artificial intelligence Computer programming Software engineering Automatisk bevisføring : (NO-TrBIB)REAL009781 Vis mer... Automatisk programmering Bevisføring Bevisteori Computer Science Engineering & Applied Sciences Programmering Programutvikling Automatisk programmering((NO-TrBIB)REAL003398) Bevisteori((NO-TrBIB)REAL011320)
Dewey	005.1
ISBN	3540401741