Nie jesteś zalogowany | Zaloguj się

Uproszczona dolna granica dla logiki implikacyjnej

Prelegent(ci)
Konrad Zdanowski
Afiliacja
UKSW
Termin
17 maja 2024 12:15
Pokój
p. 5450
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji