Marcs Notes
Search
Suche
Dunkler Modus
Heller Modus
Explorer
Home
❯
university
❯
Logic
❯
Logical System
❯
Description Logic
Ordner: university/Logic/Logical-System/Description-Logic
9 Dateien in diesem Ordner.
14. Apr. 2026
Negation Normal Form
14. Apr. 2026
Top Concept
14. Apr. 2026
Translation into First-Order Predicate Logic
14. Apr. 2026
Bottom Concept
14. Apr. 2026
Concept Definition
14. Apr. 2026
Concept
14. Apr. 2026
ALC
14. Apr. 2026
Assertion
14. Apr. 2026
ALC Tableau Calculus