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

Keywords: mathematics computational logic knowledge representation STEM
Recording date 2022-07-12

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

20 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-07-13
IdM-login
21 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-07-19
IdM-login
22 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-07-20
IdM-login

More clips in this category "Technische Fakultät"

15 - Grundlagen der Elektrotechnik III
2025-02-06
IdM-login
protected  
14 - Cyber-physical Systems (Übung), Wintersemester 2024/25
2025-02-07
Studon
protected  
18 - Prozess- und Temperaturmesstechnik [PTMT] - Vorlesungen Wintersemester 2024/2025
2025-03-19
Studon
protected  
30 - Grundlagen der Elektrotechnik I
2025-02-05
IdM-login
protected  
26 - Data Science Survival Skills
2025-02-06
Studon
protected  
35 - 2 Minuten Wissen - Schillernde Farben
2025-02-05
Free
public