| Type |  Book |
| ชื่อเรื่อง | Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid |
| ผู้แต่ง | Schmid, Ute |
| ISBN | 3540401741 |
| | 3540448462 (electronic bk.) |
| | 9783540401742 |
| | 9783540448464 (electronic bk.) |
| พิมพลักษณ์ | Berlin : Springer, c2003 |
| | Berlin ;New York : Springer, [2003] |
| รูปเล่ม | xxii, 398 p. : ill. ; 24 cm |
| ลิงค์ | Connect to resource |
| หัวเรื่อง | Software engineering |
| | Artificial intelligence |
| | Computer programming |