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