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.

---