Mühlpfordt, M. ; Schmid, Ute:
Synthesis of recursive functions with interdependent parameters. Workshop on Applied Learning Theory
.
In: Lange, S. ; Zeugmann, T. (Hrsg.) : Proceedings of the ALT'98
(ALT'98,, Kaiserslautern,, 7.10.98).
1998.
Institution: Professur für Angewandte Informatik, insbes. Kognitive Systeme
|
|