Prowadzony w
cyklach:
2023, 2024
Punkty ECTS:
6
Język:
angielski
Organizowany przez:
Wydział Matematyki, Informatyki i Mechaniki
Seminarium badawcze "Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji" 1000-2S22SLW
Jeszcze nie wprowadzono opisu dla tego przedmiotu...
Koordynatorzy przedmiotu
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: