 |
| Vorlesung Mathematik I für Informatiker und Bioinformatiker; 24. Stunde |
|
| Title (alt.): | Mathematik I für Diplomkandidaten der Informatik und Bioinformatik |
| Creator: | Wolff, Manfred (author); |
| Subject: | Vorlesung; Mathematik; Aussagenlogik; Resolutionskalkül; Resolutionsverfahren; Resolutionstheorem; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2002-11-25 |
| Type: | video |
| Duration: | 00:44:27.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
|