Файл:Programming Constraint Services with Z3 (Nikolaj Bjørner, ISPRASOPEN-2019)!.jpg
Материал из 0x1.tv
Размер при предпросмотре: 800 × 450 пикселей. Другие разрешения: 320 × 180 пикселей | 1112 × 626 пикселей.
Исходный файл (1112 × 626 пикселей, размер файла: 94 КБ, MIME-тип: image/jpeg)
История файла
Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 23:55, 17 декабря 2019 | | 1112 × 626 (94 КБ) | StasFomin (обсуждение | вклад) |
- Вы не можете перезаписать этот файл.
Использование файла
Следующая 1 страница ссылается на данный файл:
!.jpg&oldid=128268){kind=link}