KRMT: Logic-based knowldege representation for mathematic/technical knowledge [SerienID : 3065]
mathematics
computational logic
knowledge representation
STEM

Semester

Sommersemester 2022

Lehrenden

Prof. Dr. Michael Kohlhase Prof. Dr. Michael Kohlhase

Zugang via

Nur für Portal

aktualisiert

2022-07-13 18:08:52

Abonnements

3

  • preview image
    01:22:14
    # 1
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-04-26 Sommersemester 2022
  • preview image
    01:24:10
    # 2
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-04-27 Sommersemester 2022
  • preview image
    01:29:19
    # 3
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-04 Sommersemester 2022
  • preview image
    01:25:21
    # 4
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-04 Sommersemester 2022
  • preview image
    01:26:51
    # 5
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-10 Sommersemester 2022
  • preview image
    01:21:36
    # 6
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-18 Sommersemester 2022
  • preview image
    01:32:48
    # 7
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-18 Sommersemester 2022
  • preview image
    01:31:43
    # 8
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-24 Sommersemester 2022
  • preview image
    01:30:45
    # 9
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-25 Sommersemester 2022
  • preview image
    01:31:10
    # 10
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-05-31 Sommersemester 2022
  • preview image
    01:25:01
    # 11
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-01 Sommersemester 2022
  • preview image
    01:24:05
    # 12
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-08 Sommersemester 2022
  • preview image
    01:26:54
    # 13
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-14 Sommersemester 2022
  • preview image
    00:52:59
    # 14
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-15 Sommersemester 2022
  • preview image
    00:54:50
    # 15
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-22 Sommersemester 2022
  • preview image
    01:19:34
    # 16
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-28 Sommersemester 2022
  • preview image
    01:20:52
    # 17
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-06-29 Sommersemester 2022
  • preview image
    01:25:50
    # 18
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-07-06 Sommersemester 2022
  • preview image
    01:36:59
    # 19
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-07-12 Sommersemester 2022
  • preview image
    01:23:35
    # 20
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-07-13 Sommersemester 2022
  • preview image
    01:35:51
    # 21
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-07-19 Sommersemester 2022
  • preview image
    01:11:01
    # 22
    Nur für Portal
    KRMT: Logic-based knowldege representation for mathematic/technical knowledge
    Prof. Dr. Michael Kohlhase
    2022-07-20 Sommersemester 2022