Notice RAMEAU
- Notice
Théorie des calculs locaux
Vedette matière nom commun. S'emploie en tête de vedette.
<Employé pour :
Calculs locaux, Théorie des
Calculs locaux, Théorie des
Source(s) :
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq / V. Filou, 2012 [thèse] . - Graph relabelling systems and distributed algorithms / I. Litovsky, Y. Métivier, E. Sopena [in] Handbook of graph grammar and computing by graph transformation, 2001
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq / V. Filou, 2012 [thèse] . - Graph relabelling systems and distributed algorithms / I. Litovsky, Y. Métivier, E. Sopena [in] Handbook of graph grammar and computing by graph transformation, 2001
Domaine(s) : 510
. - 621
Identifiant de la notice : ark:/12148/cb16694321n
Notice n° :
FRBNF16694321
Création :
13/07/01
