08. November 2024 15.11.2024 13:30 Hanna Kessel "Lineare Resolution" Universität Ulm 08. November 2024 Universität Ulm Vorheriger Beitrag 08.11.2024 13:30 Dr. Rodrigo Raya, TU Kaiserslautern und Max-Planck Institute for Software Systems " Learning and Interpreting Register Automata" veröffentlicht am: 08. November 2024 Nächster Beitrag 29.11.2024 13:30 Maximilian Pickert "Vermehrungsalgorithmen in gerichteten Graphennetzwerken" veröffentlicht am: 19. November 2024
08.11.2024 13:30 Dr. Rodrigo Raya, TU Kaiserslautern und Max-Planck Institute for Software Systems " Learning and Interpreting Register Automata" veröffentlicht am: 08. November 2024
29.11.2024 13:30 Maximilian Pickert "Vermehrungsalgorithmen in gerichteten Graphennetzwerken" veröffentlicht am: 19. November 2024
