Файл:From North Stars to Clever Insights — On using grand challenges to drive new techniques in automated theorem proving (Nikolaj Bjørner, ISPRASOPEN-2019)!.jpg
Материал из 0x1.tv
Нет версии с бо́льшим разрешением.
From_North_Stars_to_Clever_Insights_—_On_using_grand_challenges_to_drive_new_techniques_in_automated_theorem_proving_(Nikolaj_Bjørner,_ISPRASOPEN-2019)!.jpg (800 × 450 пикселей, размер файла: 47 КБ, MIME-тип: image/jpeg)
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 11:52, 27 декабря 2019 | | 800 × 450 (47 КБ) | StasFomin (обсуждение | вклад) |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл:
!.jpg&oldid=128408){kind=link}