Quantifier Elimination Tests
Wann
Montag, 20. Februar 2017
15:15 bis 16:45 Uhr
Wo
F 426
Veranstaltet von
Vortragende Person/Vortragende Personen:
Magdalena Forstner (Universität Konstanz)
Diese Veranstaltung ist Teil der Veranstaltungsreihe „Oberseminar Modelltheorie“.