Nie jesteś zalogowany |
Syntetyczna teoria obliczeń
- Prelegent(ci)
- Maja Kądziołka
- Afiliacja
- MIM
- Język referatu
- polski
- Termin
- 20 listopada 2026 12:15
- Pokój
- p. 5450
- Tytuł w języku angielskim
- Synthetic computation theory
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
