19 - KRMT: Logic-based knowldege representation for mathematic/technical knowledge [ID:43343]
clip player preview

Dieser Clip ist ausschließlich für angemeldete Benutzer zugänglich.

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

Presenters

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

Zugänglich über

Nur für Portal

Gesperrt clip

Dauer

01:36:59 Min

Aufnahmedatum

2022-07-12

Hochgeladen am

2022-07-12 14:26:07

Sprache

de-DE

Tags

mathematics computational logic knowledge representation STEM