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

Point d'accès autorisé

Ait Mohamed, Otmane

Variante de point d'accès

Mohamed, Otmane Ait
[Nom de personne]

Information

Langue d'expression : Anglais

Source

Theorem proving in higher order logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, august 18-21, 2008 : procedings / Otmane Ait Mohamed, César Muñoz, Sofiène Tahar (eds.) ; 2008

Autres identifiants

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 : ...