KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023 /KursID:3448
- Letzter Beitrag vom 2023-07-19
Schlüsselworte: logic Metalogic Formalization

Lehrende(r)

Prof. Dr. Michael Kohlhase

Einrichtung

Professur für Wissensrepräsentation und -verarbeitung

Aufzeichnungsart

Vorlesungsreihe

Zugang

IdM-Anmeldung

Sprache

Deutsch

Zugehörige Einzelbeiträge

Folge
Titel
Lehrende(r)
Aktualisiert
Zugang
Dauer
Medien
1
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-18
IdM-Anmeldung
01:32:36
go to clip page
2
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-25
IdM-Anmeldung
01:29:49
go to clip page
3
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-Anmeldung
00:30:38
go to clip page
4
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-Anmeldung
00:48:10
go to clip page
5
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-02
IdM-Anmeldung
01:36:58
go to clip page
6
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-03
IdM-Anmeldung
01:17:47
go to clip page
7
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-09
IdM-Anmeldung
01:38:43
go to clip page
8
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-10
IdM-Anmeldung
01:27:13
go to clip page
9
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-16
IdM-Anmeldung
01:26:15
go to clip page
10
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-17
IdM-Anmeldung
01:28:39
go to clip page
11
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-23
IdM-Anmeldung
01:37:14
go to clip page
12
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-24
IdM-Anmeldung
01:38:16
go to clip page
13
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-31
IdM-Anmeldung
01:29:15
go to clip page
14
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-06
IdM-Anmeldung
01:32:18
go to clip page
15
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-13
IdM-Anmeldung
01:31:24
go to clip page
16
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-14
IdM-Anmeldung
01:10:19
go to clip page
17
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-20
IdM-Anmeldung
01:26:09
go to clip page
18
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-21
IdM-Anmeldung
01:31:05
go to clip page
19
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-27
IdM-Anmeldung
00:44:30
go to clip page
20
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-27
IdM-Anmeldung
00:37:15
go to clip page
21
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-29
IdM-Anmeldung
01:27:10
go to clip page
22
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-04
IdM-Anmeldung
01:04:33
go to clip page
23
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-05
IdM-Anmeldung
01:35:01
go to clip page
24
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-11
IdM-Anmeldung
01:28:23
go to clip page
25
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-12
IdM-Anmeldung
01:17:36
go to clip page
26
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-18
IdM-Anmeldung
01:33:07
go to clip page
27
KRMT: Knowledge Representation for Mathematics & Technology (SS23) preview image
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-19
IdM-Anmeldung
01:11:29
go to clip page

Mehr Kurse von Prof. Dr. Michael Kohlhase

LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021  
Schloss1
Prof. Dr. Michael Kohlhase
Vorlesung
2021-02-09
Frei / IdM-Anmeldung
SIGMathLing Seminar  
Schloss1
Prof. Dr. Michael Kohlhase
2022-01-10
Frei
Artificial Intelligence I 2024/2025  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2024-11-21
Frei
LBS: Logic-Based Natural Language Semantics (WS22/23) 2022/2023  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
2023-02-09
IdM-Anmeldung
RRZE-Campustreffen 23.7.2020: "Forschungsdaten"  
Schloss1
Prof. Dr. Michael Kohlhase
2020-07-23
IdM-Anmeldung