VIAF

Virtual International Authority File

Search

Djalal, Boris Sudoc [ABES], France

VIAF ID: 249157098461072551798 (Personal)

Permalink: http://viaf.org/viaf/249157098461072551798

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section About

Open Section Close Section History of VIAF ID:249157098461072551798 (1)