thesis

Spécifications et preuves en Coq pour les surfaces combinatoires et leur classification

Defense date:

Jan. 1, 2003

Edit

Institution:

Université Louis Pasteur (Strasbourg) (1971-2008)

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.