KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023 /CoursesID:3448
- Most recent entry on 2023-05-24
Keywords: logic Metalogic Formalization

Lecturer

Prof. Dr. Michael Kohlhase

Organisational Unit

Friedrich-Alexander-Universität Erlangen-Nürnberg

Recording type

Vorlesungsreihe

Via

IdM-login

Language

German

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
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-login
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-login
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-login
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-login
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-login
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-login
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-login
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-login
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-login
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-login
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-login
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-login
01:38:16
go to clip page

More courses from Prof. Dr. Michael Kohlhase

Künstliche Intelligenz II 2017  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2017-07-27
Free
Artificial Intelligence I (AI I) 2021/2022  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2021-10-20
IdM-login
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften (IWGS) II 2021  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
lecture
2021-07-15
Free
LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021  
Schloss1
Prof. Dr. Michael Kohlhase
lecture
2021-02-09
Free / IdM-login
IWGS-II: Informatische Werkzeuge in den Geistes- und Sozialwissenschaften II 2020  
Schloss1
Prof. Dr. Michael Kohlhase
lecture
2020-07-30
Free