Algèbres de Heyting avec opérateurs booléens et applications aux systèmes d'information
FR
Auteur / Autrice : | Eric SanJuan |
Direction : | Maurice Pouzet, Luisa Iturrioz |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences |
Date : | Soutenance en 2000 |
Etablissement(s) : | Lyon 1 |
Jury : | Examinateurs / Examinatrices : Maurice Pouzet, Luisa Iturrioz |
Mots clés
FR