Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000110062430 | 1 hits
Person
ISNI: 
0000 0001 1006 2430
Name: 
Cosimo, Roberto di
Cosmo, Roberto Di
Di Cosmo, R.
Di Cosmo, Roberto
Dates: 
1963-
Creation class: 
article
Language material
Text
Creation role: 
author
Related names: 
Balat, Vincent (1974-....))
Bénard, Eric (1981-....))
Boender, Jacob Pieter (1981-....))
Ficheux, Pierre
Glondu, Stéphane
Loddo, Jean-Vincent (1970-....))
Nora, Dominique (1958-..)
Titles: 
étude des sommes fortes isomorphismes et formes normales, Une
Etude formelle des distributions de logiciel libre formal study of Free Software distributions
Généralisation des jeux combinatoires et applications aux langages logiques
Hold-up planétaire, la face cachée de Microsoft.
Isomorphisms of types: from [lambda]-calculus to information retrieval and language design
Linux embarqué nouvelle étude de cas : traite d'OpenEmbedded
Manifeste pour une création artistique libre dans un internet libre
study of strong sums, A : isomorphisms and normal forms.
Vers une certification de l'extraction de coq
Contributed to or performed: 
BULLETIN- EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE
Notes: 
Sources: 
VIAF LC NUKAT RERO SUDOC WKP
ZETO