Nie jesteś zalogowany | Zaloguj się

O semantyce specyfikacji structuralnych zorientowanej na własności

Prelegent(ci)
Andrzej Tarlecki
Afiliacja
Uniwersytet Warszawski
Termin
24 października 2011 10:15
Pokój
p. 4790
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji