20191205AB
Материал из 0x1.tv
Версия от 18:16, 25 декабря 2019; StasFomin (обсуждение | вклад) (Перенаправление на From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019))
Страница-перенаправление