Universitätsbibliothek Hagen
Studienbriefe - Suchergebnis
| Fach | Informatik |
| Kursnummer | 1695 |
| Autor | Beierle, Christoph |
| Titel | Deduktions- und Inferenzsysteme |
| Jahr | 1998 |
| Signatur | AKMH/INF |
| Kurseinheiten | ||
| Nr. | Titel | Invent.-Nr. |
| 01 | Einf. u. Grundl. d. Deduktion | 98 / 004962 |
| 02 | Kalküle f.d. Prädikatenlogik ... | 98 / 004963 |
| 03 | Repräsentation von PL1-Kalkülen | 98 / 004964 |
| 04 | Gleichheit und Unifikation | 98 / 008288 |
| 05 | Termersetzungssysteme | 98 / 008289 |
| 06 | Deduktion und logisches Programmieren | 98 / 008290 |
| 07 | Nicht-klassische Formen d. Inferenz | 98 / 009302 |
Ihr Kontakt: Christoph Spieker
Hilfe und Kontakt
- Ihre Frage
- Zentrale Information
Tel 02331 / 987-2836 - Sekretariat
Tel 02331 / 987-2924 - FAQs
Aktuell
Letzte Änderung: 19.07.2021