![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
deniokА вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно.
deniokdeniok
Profile
deniok
Page Summary
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
Style Credit
- Style: Cloudy Days for Ciel by carisma_sensei
Expand Cut Tags
No cut tags
no subject
Date: 2013-07-02 10:10 pm (UTC)