• Inductive Synthesis of Functio...

Treffer: Inductive Synthesis of Functional Programs

Title:
Inductive Synthesis of Functional Programs
Artificial intelligence and symbolic computation; joint international conferences, AISC 2002 and CALCULEMUS 2002,; Artificial intelligence, automated reasoning and symbolic computation
Authors:
Kitzelmann, E., Schmid, U., Muhlpfordt, M., Wysotzki, F.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :26-37
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN044231840&indx=1&recIds=ETOCCN044231840
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings