Анонс: Джон Хариссон, Автоматическое доказательство теорем

[deniok]

А вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно.

Comments

[deni-ok.livejournal.com]

Вывесили аннотацию.