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: Logic-based knowldege representation for mathematic/technical knowledge 2022 /CoursesID:3065
- Most recent entry on 2022-07-20
Keywords:
mathematics
computational logic
knowledge representation
STEM
Lecturer
Prof. Dr. Michael Kohlhase
Organisational Unit
Professur für Wissensrepräsentation und -verarbeitung
Recording type
Vorlesungsreihe
Via
IdM-login
Language
German
Associated Clips
Episode
Title
Lecturer
Updated
Via
Duration
Media
Search course clips:
1
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-04-26
IdM-login
01:22:14
slides
captions
go to clip page
2
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-04-27
IdM-login
01:24:10
slides
captions
go to clip page
3
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
01:29:19
slides
captions
go to clip page
4
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-04
IdM-login
01:25:21
slides
captions
go to clip page
5
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-10
IdM-login
01:26:51
slides
captions
go to clip page
6
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login
01:21:36
slides
captions
go to clip page
7
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-18
IdM-login
01:32:48
slides
captions
go to clip page
8
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-24
IdM-login
01:31:43
slides
captions
go to clip page
9
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-25
IdM-login
01:30:45
slides
captions
go to clip page
10
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-05-31
IdM-login
01:31:10
slides
captions
go to clip page
11
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-01
IdM-login
01:25:01
slides
captions
go to clip page
12
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-08
IdM-login
01:24:05
slides
captions
go to clip page
13
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-14
IdM-login
01:26:54
slides
captions
go to clip page
14
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-15
IdM-login
00:52:59
slides
captions
go to clip page
15
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-22
IdM-login
00:54:50
slides
captions
go to clip page
16
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-28
IdM-login
01:19:34
slides
captions
go to clip page
17
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-06-29
IdM-login
01:20:52
slides
captions
go to clip page
18
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-06
IdM-login
01:25:50
slides
captions
go to clip page
19
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-12
IdM-login
01:36:59
slides
captions
go to clip page
20
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-13
IdM-login
01:23:35
slides
audio
captions
go to clip page
21
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-19
IdM-login
01:35:51
slides
audio
captions
go to clip page
22
KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
2022-07-20
IdM-login
01:11:01
slides
audio
captions
go to clip page
More courses from Prof. Dr. Michael Kohlhase
Logic-Based Natural Language Semantics (LBS) 2021/2022
Prof. Dr. Michael Kohlhase
lecture
2022-02-10
IdM-login
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I 2024/2025
Prof. Dr. Michael Kohlhase
lecture
2025-02-06
Free
Künstliche Intelligenz II 2017
Prof. Dr. Michael Kohlhase
lecture
2017-07-27
Free
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I 2018/2019
Prof. Dr. Michael Kohlhase
lecture
2019-01-31
Free
KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023
Prof. Dr. Michael Kohlhase
lecture
2023-07-19
IdM-login
Are you ready to go?
×
Select "Logout" below if you are ready to end your current session.