Исходный файл(654 × 839 пкс, размер файла: 96 Кб, MIME-тип: image/jpeg)

Краткое описание

Описание
English: Thierry Coquand, Trends in Constructive Mathematics, Frauenwörth, June 2006
Дата
Источник http://andrej.com/mathematicians/C/Coquand_Thierry.html
Автор Andrej Bauer
Другие версии
процесс извлечения
Этот файл был извлечён из другого файла
: Thierry Coquand.jpg
оригинальный файл

Лицензирование

w:ru:Creative Commons
атрибуция распространение на тех же условиях
Этот файл доступен по лицензии Creative Commons Attribution-Share Alike 2.5 Словения.
Вы можете свободно:
  • делиться произведением – копировать, распространять и передавать данное произведение
  • создавать производные – переделывать данное произведение
При соблюдении следующих условий:
  • атрибуция – Вы должны указать авторство, предоставить ссылку на лицензию и указать, внёс ли автор какие-либо изменения. Это можно сделать любым разумным способом, но не создавая впечатление, что лицензиат поддерживает вас или использование вами данного произведения.
  • распространение на тех же условиях – Если вы изменяете, преобразуете или создаёте иное произведение на основе данного, то обязаны использовать лицензию исходного произведения или лицензию, совместимую с исходной.

Краткие подписи

Добавьте однострочное описание того, что собой представляет этот файл

Элементы, изображённые на этом файле

изображённый объект

0,01666666666666666666 секунда

7,40625 миллиметр

image/jpeg

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

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

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий01:04, 14 апреля 2023Миниатюра для версии от 01:04, 14 апреля 2023654 × 839 (96 Кб)FMSkyFile:Thierry Coquand.jpg cropped 46 % horizontally, 48 % vertically using CropTool with lossless mode.
16:02, 2 июля 2020Миниатюра для версии от 16:02, 2 июля 2020390 × 592 (61 Кб)Jochen BurghardtFile:Thierry Coquand.jpg cropped 68 % horizontally, 63 % vertically using CropTool with lossless mode.

Следующая страница использует этот файл:

Глобальное использование файла

Данный файл используется в следующих вики:

Метаданные