Widok zawartości stron
Widok zawartości stron
Podstawy Informatyki
Prowadzący:
Marek Zaionc
Zwyczajowy czas i miejsce: środa, 12:15-14:00, sala 0086
Strona WWW: www.tcs.uj.edu.pl/csfs
Termin: 03.11.2010
Referent: Katarzyna Grygiel
Tytuł referatu: Asymptotically almost all lambda terms are strongly normalizing (2)