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

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

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

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"

6 - Numerical Optimization and Model Predictive Control
2025-05-13
Studon
protected  
6 - Einführung in Datenbanken
2025-05-13
Studon
protected  
6 - Nonlinear Control Systems (NCS) 2025 - Exercise 1
2025-05-13
Studon
protected  
6 - Artificial Intelligence II
2025-05-14
Free
public  
3 - Introduction to Machine Learning
2025-05-13
IdM-login
protected  
5 - Medizintechnik II
2025-05-12
IdM-login
protected