KRMT: Logic-based knowldege representation for mathematic/technical knowledge

17 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge/ClipID:43080 previous clip next clip

These resources are protected

Keywords: mathematics computational logic knowledge representation STEM

Recording date 2022-06-29

German

Friedrich-Alexander-Universität Erlangen-Nürnberg

Friedrich-Alexander-Universität Erlangen-Nürnberg

18 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Prof. Dr. Michael Kohlhase

2022-07-06

IdM-login

19 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Prof. Dr. Michael Kohlhase

2022-07-12

IdM-login

20 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Prof. Dr. Michael Kohlhase

2022-07-13

IdM-login

21 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Prof. Dr. Michael Kohlhase

2022-07-19

IdM-login

22 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge

Prof. Dr. Michael Kohlhase

2022-07-20

IdM-login