Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Videoportal
Hauptnavigation
Course
Clip
Podcasts
Semester
Lecturer
FAU Organizations
Search
Livestream
Hörsäle
FAQ
IdM-login
EN
Search:
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
Search course clips:
1
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-18
IdM-login
01:32:36
slides
audio
captions
go to clip page
2
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-25
IdM-login
01:29:49
slides
audio
captions
go to clip page
3
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-login
00:30:38
slides
audio
captions
go to clip page
4
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-login
00:48:10
slides
audio
captions
go to clip page
5
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-02
IdM-login
01:36:58
slides
audio
captions
go to clip page
6
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-03
IdM-login
01:17:47
slides
audio
captions
go to clip page
7
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-09
IdM-login
01:38:43
slides
audio
captions
go to clip page
8
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-10
IdM-login
01:27:13
slides
audio
captions
go to clip page
9
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-16
IdM-login
01:26:15
slides
audio
captions
go to clip page
10
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-17
IdM-login
01:28:39
slides
audio
captions
go to clip page
11
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-23
IdM-login
01:37:14
slides
audio
captions
go to clip page
12
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-24
IdM-login
01:38:16
slides
audio
captions
go to clip page
More courses from Prof. Dr. Michael Kohlhase
Künstliche Intelligenz II 2017
Prof. Dr. Michael Kohlhase
lecture
2017-07-27
Free
Artificial Intelligence I (AI I) 2021/2022
Prof. Dr. Michael Kohlhase
lecture
2021-10-20
IdM-login
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften (IWGS) II 2021
Prof. Dr. Michael Kohlhase
lecture
2021-07-15
Free
LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021
Prof. Dr. Michael Kohlhase
lecture
2021-02-09
Free / IdM-login
IWGS-II: Informatische Werkzeuge in den Geistes- und Sozialwissenschaften II 2020
Prof. Dr. Michael Kohlhase
lecture
2020-07-30
Free
Are you ready to go?
×
Select "Logout" below if you are ready to end your current session.