大葉大學圖書館 |

登入

回首頁

Inductive synthesis of functional pr...

SchmidUte

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by .../ Schmid,Ute
作者:	SchmidUte
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	398頁; 23x15公分
標題:	Computer programming
標題:	Software engineering
標題:	Artificial intelligence
ISBN:	3540401741(平裝)

Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ...
SchmidUte

Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ...Schmid,Ute - 1st ed - BerlinSpringer-Verlag2003 - 398頁23x15公分 - Lecture Notes in Artifical Intelligence2654.

ISBN: 3540401741(平裝)Subjects--Topical Terms:

168584
Computer programming

Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ...
LDR:00500nam 2200157 450 001 188778
008 100623t2003 de a a 000 0 eng d
020 $a 3540401741(平裝)
035 $a 9424376
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a SchmidUte $3 212041
245 1 0 $a Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ... $c Schmid,Ute
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 398頁 $c 23x15公分
490 $a Lecture Notes in Artifical Intelligence $v 2654
650 $a Computer programming $3 168584
650 $a Software engineering $3 135422
650 $a Artificial intelligence $3 135215