 |
| Vorlesung Informatik 1, 30. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Induktion; Rekursive Funktionen; Folgen; cat; Assoziativität; Wortinduktion; Zwischenwerte; Invariante; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2008-12-04 |
| Type: | video |
| Duration: | 00:44:49.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
|