Informační zátiší
Blog Ústavu informatiky Akademie věd České republiky, v.v.i.
sobota 11. ledna 2014
Semináře
Seminář SIAM SC
14. 1. 2014 (úterý)
,
12:20, Sokolovská 83, MFF UK,
Sem. místnost KNM
Karel Chvalovský
:
Pár slov o automatickém dokazování
Seminář aplikované matematické logiky
8. 1. 2014 (středa)
, 14:00, místnost 318
Felix Bou
:
An exotic MTL-chain
Žádné komentáře:
Okomentovat
Novější příspěvek
Starší příspěvek
Domovská stránka
Přihlásit se k odběru:
Komentáře k příspěvku (Atom)
Žádné komentáře:
Okomentovat