thesis

Certification de preuves en logiques classique et intuitionniste du premier ordre

Defense date:

Jan. 1, 2015

Edit

Institution:

Palaiseau, Ecole polytechnique

Disciplines:

Computer sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Pas de résumé disponible.