4 - KRMT: Knowledge Representation for Mathematics & Technology (SS23) [ID:48021]
clip player preview

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

Teil einer Videoserie :
KRMT: Knowledge Representation for Mathematics & Technology (SS23)

Presenters

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

Zugänglich über

Nur für Portal

Gesperrt clip

Dauer

00:48:10 Min

Aufnahmedatum

2023-04-26

Hochgeladen am

2023-04-26 19:16:03

Sprache

de-DE

Second part of previous clip

Tags

logic Metalogic Formalization