Анонс: Джон Хариссон, Автоматическое доказательство теорем
А вот, кстати, что у нас в CS Клубе будет в конце сентября. Джон Хариссон прочитает 5 лекций про автоматическое доказательство теорем. Я считаю, что это замечательно.
Originally posted at http://deniok.dreamwidth.org/50747.html. Feel free to comment here or there.