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