AureHAL : Accès Unifié aux Référentiels HAL

Connexion
Connexion avec ORCID
Créer un compte
Mot de passe oublié ?
Login oublié ?

Auteurs Structures Domaines Revues Projets ANR Projets européens

Fiche d'un projet ANR

3698Ideals of ProofIP - ANR-07-CEXC-0002
CEXC - 2007
Voir les documents associés
Exporter

Export XML

Export RDF

Informations

Contact

Support

Ressources

Documentation
FAQ
API
OAI-PMH
AuréHAL
Hal Monitor

Information

Données personnelles
Mentions légales
Accessibilité
Conformité RGAA

Questions juridiques

Je publie, quels sont mes droits ?
Sherpa Romeo

Portails

Liste des portails
HAL SHS
HAL Thèses
mediHAL

CCSD

CCSD
episciences.org
sciencesconf.org