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

Keywords: mathematics computational logic knowledge representation STEM
Recording date 2022-06-14

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

14 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-06-15
IdM-login
15 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-06-22
IdM-login
16 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-06-28
IdM-login
17 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-06-29
IdM-login
18 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-07-06
IdM-login

More clips in this category "Technische Fakultät"

1 - Kommunikationselektronik
2025-04-24
Studon
protected  
1 - Einführung in die Algorithmik
2025-04-24
IdM-login
protected  
1 - Methode der Finiten Elemente
2025-04-24
IdM-login
protected  
1 - Grundlagen der Informatik
2025-04-24
Studon
protected  
1 - Pattern Analysis
2025-04-24
IdM-login
protected  
1 - Theorie der Programmierung
2025-04-23
IdM-login
protected