Options
Inductive Synthesis of Recursive Functional Programs - A Comparison of Three Systems
Hofmann, Martin; Hirschberger, Andreas; Kitzelmann, Emanuel; u. a. (2007): „Inductive Synthesis of Recursive Functional Programs - A Comparison of Three Systems“.
Faculty/Professorship:
Author:
Title of the compilation:
KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007 ; proceedings
Conference:
30th Annual German Conference on AI, KI 2007, September 10-13, 2007 ; Osnabrück, Germany
Year of publication:
2007
Pages:
ISBN:
978-3-540-74564-8
Language:
English
Type:
Conferenceobject
published:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/16792