Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
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.
UnivIS ist ein Produkt der Config eG, Buckenhof