Файл:From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019).pdf

Материал из 0x1.tv

Перейти на страницу


Исходный файл(960 × 540 пикселей, размер файла: 2,27 МБ, MIME-тип: application/pdf, 49 страниц)

История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий05:53, 26 декабря 2019Миниатюра для версии от 05:53, 26 декабря 2019960 × 540, 49 страниц (2,27 МБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.