Crossposts: http://deni-ok.livejournal.com/52522.html

Entry tags:

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

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

Post a comment in response:

From:

Anonymous This account has disabled anonymous posting.

OpenID

Dreamwidth account

If you don't have an account you can create one now.

Subject

Formatting type

Message