Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs

Onderzoeksoutput: Conference paperResearch

Samenvatting

This paper deals with the use of social networks in the construction of proofs
Originele taal-2English
TitelLogic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies
RedacteurenPeter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges , Pierre Edouard Bour
Plaats van productieLondon
UitgeverijCollege Publications
Pagina's427-439
Aantal pagina's13
ISBN van geprinte versie978-1-84890-169-8
StatusPublished - 2014
EvenementLogic, Methodology and Philosophy of Science - Université de Nancy, Nancy, France
Duur: 19 jul 201126 jul 2011

Conference

ConferenceLogic, Methodology and Philosophy of Science
Land/RegioFrance
StadNancy
Periode19/07/1126/07/11

Vingerafdruk

Duik in de onderzoeksthema's van 'Mathematics and theNew Technologies. Part III: The Cloud and the Web of Proofs'. Samen vormen ze een unieke vingerafdruk.

Citeer dit