Powrót do listy pracowników
dr
Jacek Chrząszcz
-
Afiliacja:
adiunkt, Instytut Informatyki
- Zainteresowania:Rachunek lambda, przepisywanie termów, systemy wspomagania dowodzenia
- Konsultacje:
czwartki 14:30-16:00
terminy konsultacji obowiązują w czasie trwania zajęć dydaktycznych
- Pokój:5710
- E-mail:J.Chrzaszcz@mimuw.edu.pl
- Telefon:55-44-571
- Strona www:http://www.mimuw.edu.pl/~chrzaszcz
Nie jesteś zalogowany | zaloguj się
