par Bouyer, Patricia P.;Brenguier, Romain ;Markey, Nicolas N.; [et al.]
Référence Logical methods in computer science
Publication A Paraître, 2015
Référence Logical methods in computer science
Publication A Paraître, 2015
Article révisé par les pairs
Titre: |
|
Auteur: | Bouyer, Patricia P.; Brenguier, Romain; Markey, Nicolas N.; et al. |
Informations sur la publication: | Logical methods in computer science |
Statut de publication: | A Paraître, 2015 |
Sujet CREF: | Informatique générale |
Langue: | N/A |
Identificateurs: | urn:issn:1860-5974 |