Filtern
Erscheinungsjahr
- 2006 (3) (entfernen)
Dokumenttyp
- Diplomarbeit (3) (entfernen)
Sprache
- Deutsch (3) (entfernen)
Schlagworte
- Aussagenlogik (1)
- Circumscription (1)
- DNNF (1)
- DPLL (1)
- Interior Gateway Protokoll (1)
- Knowledge Compilation (1)
- Propositional Logic (1)
- Relationale Datenbank (1)
- Wissenskompilation (1)
- XML-Dokument (1)
Institut
- Institut für Informatik (3) (entfernen)