Opublikowane na
Polskie Towarzystwo Matematyczne
(
https://www.ptm.org.pl
)
Strona główna
> Wersja do wydruku
17th Workshop Types for Proofs and Programs, TYPES 2010
Termin:
2010-10-13
-
2010-10-16
Miejsce:
Warszawa
Strona www:
http://types10.mimuw.edu.pl/
[1]
Adres URL źródła:
https://www.ptm.org.pl/konferencje/17th-workshop-types-proofs-and-programs-types-2010
Odnośniki:
[1] http://types10.mimuw.edu.pl/