 |
| Vorlesung Informatik 1, 49. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Boolesche Werte; Natürliche Zahlen; Church-Numerale; Rekursion; Fixpunktsatz; Fixpunktkombinator; Y-Kombinator; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-29 |
| Type: | video |
| Duration: | 00:45:07.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
|