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
Artificial Intelligence I 2022/2023
Prof. Dr. Michael Kohlhase
lecture
2023-02-09
Free
Artificial Intelligence I 2018/2019
Prof. Dr. Michael Kohlhase
lecture
2019-02-07
Free
KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023
Prof. Dr. Michael Kohlhase
lecture
2023-07-19
IdM-login
RRZE-Campustreffen 23.7.2020: "Forschungsdaten"
Prof. Dr. Michael Kohlhase
2020-07-23
IdM-login
Logic-Based Natural Language Semantics (WS 23/24) 2023/2024
Prof. Dr. Michael Kohlhase
lecture
2024-02-08
Free / IdM-login
Are you ready to go?
×
Select "Logout" below if you are ready to end your current session.