Fiche Logiciel - Coquelicot

Logo Logiciel par défaut

Coquelicot


Bibliothèque Coq conviviale pour l'analyse réelle



Discipline(s): Non renseigné
Domaine(s) d'application: Non renseigné
Mot(s)-clé(s): Non renseigné

Aucun développeur associé.

Contact : Contact non renseingé


Aucun laboratoire associé.


Bibtex

Non renseigné.