Nie jesteś zalogowany |
Co ja robię tu?
- Prelegent(ci)
- Tadeusz Sznuk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 8 listopada 2010 10:15
- Pokój
- p. 4790
- Seminarium
- Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji
Opiszę projekt nowego BML-a. Na razie jest to tylko projekt projektu, więc nic konkretnego raczej nie powiem.
