Logic and Time. Introduction to Temporal Logic 0200-ERAS161
Ćwiczenia konwersatoryjne (CK)
Semestr letni 2018/2019
Informacje o zajęciach (wspólne dla wszystkich grup)
Grupy zajęciowe
Grupa | Termin(y) | Prowadzący |
Miejsca |
Akcje |
---|---|---|---|---|
1 |
(brak danych),
(sala nieznana)
|
Andrzej Indrzejczak | 0/ |
|
Wszystkie zajęcia odbywają się w budynku: |
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.
Właścicielem praw autorskich jest UNIWERSYTET ŁÓDZKI.