home
sign in
my orders
my e-books
my trolley
my account
contact
keyword
isbn13
author
title
Available
| can't find it |
| browse books |
Textbooks
books
antiques & collectibles
architecture
art
biography & autobiography
body, mind & spirit
business & economics
comics & graphic novels
computers
cooking
crafts & hobbies
drama
education
family & relationships
fiction
foreign language study
games
gardening
health & fitness
history
house & home
humor
juvenile fiction
juvenile nonfiction
language arts & disciplines
law
literary collections
literary criticism
mathematics
medical
music
nature
non-classifiable
performing arts
pets
philosophy
photography
poetry
political science
psychology
reference
religion
science
self-help
social science
sports & recreation
study aids
technology
transportation
travel
true crime
books
| book details |
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
By (author)
Ute Schmid
| on special |
normal price: R 2 114.95
Price: R 1 903.95
| add to trolley |
processing...
| book description |
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s. This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.
| product details |
Normally shipped |
Available from overseas. Usually dispatched in 14 days
Publisher |
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date |
21 Aug 2003
Language |
Format |
Paperback / softback
Pages |
402
Dimensions |
233 x 155 x 0mm (L x W x H)
Weight |
0g
ISBN |
978-3-5404-0174-2
Readership Age |
BISAC |
science / general
| other options |
| back |
| your trolley |
To view the items in your trolley please sign in.
| sign in |
| specials |
Exiles: Times book of the month 'Stanley Kubrick meets MR James'
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming
A terrifying locked-room mystery set in a remote outpost on Mars.
| more |
| add to trolley |
processing...
Theory & Practice
Michelle de Kretser
Hardback
192 pages
was: R 422.95
now: R 380.95
Available from overseas. Usually dispatched in 14 days
| more |
| add to trolley |
processing...
The Correspondent
Virginia Evans
Hardback
288 pages
was: R 450.95
now: R 405.95
Stock is usually dispatched in 6-12 days from date of order
| more |
| add to trolley |
processing...
Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER
Clare Leslie Hall
Paperback / softback
320 pages
Enquiries only
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
| more |
| enquire |
processing...
Copyright 2026
|
terms and conditions