Thierry Coquand (cropped)
Autor/Urheber:
Andrej Bauer
Attribution:
Das Bild ist mit 'Attribution Required' markiert, aber es wurden keine Informationen über die Attribution bereitgestellt. Vermutlich wurde bei Verwendung des MediaWiki-Templates für die CC-BY Lizenzen der Parameter für die Attribution weggelassen. Autoren und Urheber finden für die korrekte Verwendung der Templates hier ein Beispiel.
Shortlink:
Quelle:
Größe:
654 x 839 Pixel (98203 Bytes)
Beschreibung:
Thierry Coquand, Trends in Constructive Mathematics, Frauenwörth, June 2006
Lizenz:
Relevante Artikel
Thierry CoquandThierry Coquand ist ein französischer Mathematiker und Informatiker. .. weiterlesen