 |
| Vorlesung Informatik 1, 41. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; DrScheme; Formalisierung; Suchbäume; Signatur; Terme; Algebren; Mehrsortige Algebren; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-15 |
| Type: | video |
| Duration: | 00:46:51.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
 |
| Vorlesung Informatik 1, 18. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Algebren; Termalgebra; Homomorphismus; Restklassenhomomorphismus; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2008-11-13 |
| Type: | video |
| Duration: | 00:44:01.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Informatik 1, 17. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Terminduktion; Strukturelle Induktion; Syntax; Semantik; Algebra; Universelle Algebra; Algebren; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2008-11-13 |
| Type: | video |
| Duration: | 00:43:57.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
|