Projecten per jaar
Samenvatting
This paper deals with the use of social networks in the construction of proofs
Originele taal-2 | English |
---|---|
Titel | Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies |
Redacteuren | Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges , Pierre Edouard Bour |
Plaats van productie | London |
Uitgeverij | College Publications |
Pagina's | 427-439 |
Aantal pagina's | 13 |
ISBN van geprinte versie | 978-1-84890-169-8 |
Status | Published - 2014 |
Evenement | Logic, Methodology and Philosophy of Science - Université de Nancy, Nancy, France Duur: 19 jul 2011 → 26 jul 2011 |
Conference
Conference | Logic, Methodology and Philosophy of Science |
---|---|
Land/Regio | France |
Stad | Nancy |
Periode | 19/07/11 → 26/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.Projecten
- 1 Afgelopen