Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Hauptnavigation
Kurse
Clips
Podcasts
Semester
Lehrende
FAU-Organisationen
Suche
Livestream
Hörsäle
FAQ
IdM Anmeldung
DE
Search:
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
Search course clips:
1
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-18
IdM-Anmeldung
01:32:36
Folien
Audio
captions
go to clip page
2
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-25
IdM-Anmeldung
01:29:49
Folien
Audio
captions
go to clip page
3
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-Anmeldung
00:30:38
Folien
Audio
captions
go to clip page
4
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-04-26
IdM-Anmeldung
00:48:10
Folien
Audio
captions
go to clip page
5
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-02
IdM-Anmeldung
01:36:58
Folien
Audio
captions
go to clip page
6
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-03
IdM-Anmeldung
01:17:47
Folien
Audio
captions
go to clip page
7
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-09
IdM-Anmeldung
01:38:43
Folien
Audio
captions
go to clip page
8
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-10
IdM-Anmeldung
01:27:13
Folien
Audio
captions
go to clip page
9
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-16
IdM-Anmeldung
01:26:15
Folien
Audio
captions
go to clip page
10
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-17
IdM-Anmeldung
01:28:39
Folien
Audio
captions
go to clip page
11
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-23
IdM-Anmeldung
01:37:14
Folien
Audio
captions
go to clip page
12
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-24
IdM-Anmeldung
01:38:16
Folien
Audio
captions
go to clip page
13
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-05-31
IdM-Anmeldung
01:29:15
Folien
Audio
captions
go to clip page
14
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-06
IdM-Anmeldung
01:32:18
Folien
Audio
captions
go to clip page
15
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-13
IdM-Anmeldung
01:31:24
Folien
Audio
captions
go to clip page
16
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-14
IdM-Anmeldung
01:10:19
Folien
Audio
captions
go to clip page
17
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-20
IdM-Anmeldung
01:26:09
Folien
Audio
captions
go to clip page
18
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-21
IdM-Anmeldung
01:31:05
Folien
Audio
captions
go to clip page
19
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-27
IdM-Anmeldung
00:44:30
Folien
Audio
captions
go to clip page
20
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-27
IdM-Anmeldung
00:37:15
Folien
Audio
captions
go to clip page
21
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-06-29
IdM-Anmeldung
01:27:10
Folien
Audio
captions
go to clip page
22
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-04
IdM-Anmeldung
01:04:33
Folien
Audio
captions
go to clip page
23
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-05
IdM-Anmeldung
01:35:01
Folien
Audio
captions
go to clip page
24
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-11
IdM-Anmeldung
01:28:23
Folien
Audio
captions
go to clip page
25
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-12
IdM-Anmeldung
01:17:36
Folien
Audio
captions
go to clip page
26
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-18
IdM-Anmeldung
01:33:07
Folien
Audio
captions
go to clip page
27
KRMT: Knowledge Representation for Mathematics & Technology (SS23)
Prof. Dr. Michael Kohlhase
2023-07-19
IdM-Anmeldung
01:11:29
Folien
Audio
captions
go to clip page
Mehr Kurse von Prof. Dr. Michael Kohlhase
KRMT: Logic-based knowldege representation for mathematic/technical knowledge 2022
Prof. Dr. Michael Kohlhase
Vorlesung
2022-07-20
IdM-Anmeldung
Logic-Based Natural Language Semantics (LBS) 2024/2025
Prof. Dr. Michael Kohlhase
Vorlesung
2024-12-18
Frei
Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I 2024/2025
Prof. Dr. Michael Kohlhase
Vorlesung
2024-12-19
Frei
LBS: Logik-Basierte Semantik Natürlicher Sprache 2020/2021
Prof. Dr. Michael Kohlhase
Vorlesung
2021-02-09
Frei / IdM-Anmeldung
Artificial Intelligence II 2022
Prof. Dr. Michael Kohlhase
Vorlesung
2022-04-26
Frei
Bereit zu gehen?
×
Wählen Sie unten "Abmelden", wenn Sie bereit sind, Ihre aktuelle Sitzung zu beenden.