2 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge/ClipID:41603 previous clip next clip

Keywords: mathematics computational logic knowledge representation STEM
Recording date 2022-04-27

Course

KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Lecturer

Prof. Dr. Michael Kohlhase

Via

IdM-login

Language

German

Organisational Unit

Professur für Wissensrepräsentation und -verarbeitung

Producer

Professur für Wissensrepräsentation und -verarbeitung

Format

lecture

Type

university lecture

Up next

3 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
4 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
5 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-05-10
IdM-login
6 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login
7 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login

More clips in this category "Technische Fakultät"

9 - Halbleitertechnik III - Leistungshalbleiterbauelemente Übung (HL III - LBE) 2024/2025
2025-01-14
IdM-login
protected  
21 - Grundlagen der Elektrotechnik I
2025-01-13
Passwort / Studon
protected  
32 - Vorlesungen und Übungen zu Maschinenelemente I
2025-01-13
Studon
protected  
22 - Algorithmen und Datenstrukturen (für Medizintechnik)
2025-01-13
Studon
protected  
20 - Data Science Survival Skills
2025-01-14
Studon
protected  
11 - Produktionssystematik
2025-01-13
Studon
protected