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