Suchergebnisse für 'Formalization'

1 Kurse gefunden

KRMT: Knowledge Representation for Mathematics & Technology (SS23) 2023
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
Vorlesung
IdM-Anmeldung
logic, Metalogic, Formalization

2 Clips gefunden

1-Introduction (Part 1) 2020/2021
Kohlhase-1400_thumb.png
Frei
universitäre Vorlesung
2020-10-28
... <p>Which games will be considered in this chapter and the formalization. ...
12-Allgemeines Verwaltungsrecht 2013/2014
Funke-n_thumb.png
Studon
universitäre Vorlesung
2013-11-28
logic, Metalogic, Formalization