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.
07. Dez. 2025
Concept Definition
07. Dez. 2025
Concept
07. Dez. 2025
Negation Normal Form
07. Dez. 2025
Top Concept
07. Dez. 2025
Translation into First-Order Predicate Logic
07. Dez. 2025
ALC Tableau Calculus
07. Dez. 2025
ALC
07. Dez. 2025
Assertion
07. Dez. 2025
Bottom Concept