А вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно.
Profile
deniok
Syndicate
Style Credit
- Style: Cloudy Days for Ciel by
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
carisma_sensei
Expand Cut Tags
No cut tags