 |
| Vorlesung Informatik 2, 6. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Substitution; Reduktion; Redex; Äquivalenz; Normalformen; Angewandter Lambda-Kalkül; Delta-Reduktion; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-04-28 |
| Type: | video |
| Duration: | 00:40:44.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
|