data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 117280836
Notice de type Personne

Point d'accès autorisé

Melquiond, Guillaume

Information

Langue d'expression : Francais

Source

De l'arithmétique d'intervalles à la certification de programmes / Guillaume Melquiond, sous la dir. de Marc Daumas

Autres identifiants

Identifiant HAL : guillaume-melquiond

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...