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

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

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

13 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2022-06-14
IdM-login
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

More clips in this category "Technische Fakultät"

13 - Halbleitertechnik III - Leistungshalbleiterbauelemente Übung (HL III - LBE) 2024/2025
2025-04-04
IdM-login
protected  
1 - Umformtechnik
2025-03-04
Studon
protected  
57 - Beyond the Patterns - Sukyong Won, PhD (CalTech) – Polymer Composite Engineering for Microrobot Swarm Intelligence
2025-02-11
Free
public  
13 - Werkstoffkunde und Technologie der Metalle
2025-02-07
Passwort
protected  
12 - Halbleitertechnik III - Leistungshalbleiterbauelemente Übung (HL III - LBE) 2024/2025
2025-02-07
IdM-login
protected  
9 - Robotics 2 - Exercise 11
2025-02-06
Studon
protected