KCDS Virtual Open House - Project 01 Logics for dynamical systems and practical theorem proving tools
Hühnerfuß, Angela [Hrsg.] 1; Platzer, André
2
1 KIT-Zentrum Mathematik in den Natur-, Ingenieur- und Wirtschaftswissenschaften (KIT-Zentrum MathSEE), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
21 KIT-Zentrum Mathematik in den Natur-, Ingenieur- und Wirtschaftswissenschaften (KIT-Zentrum MathSEE), Karlsruher Institut für Technologie (KIT)
2 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract:
Meet KIT Graduate School Computational and Data Science in our virtual open house! Find out more about the graduate school and current doctoral projects.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) KIT-Zentrum Mathematik in den Natur-, Ingenieur- und Wirtschaftswissenschaften (KIT-Zentrum MathSEE) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 31.03.2023 |
| Erstellungsdatum | 30.03.2023 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000157507 |
| Lizenz | Creative Commons Namensnennung – Nicht kommerziell – Weitergabe unter gleichen Bedingungen 4.0 International |
| Serie | KCDS Virtual Open House |
| Folge | 4 |