Algèbres de Heyting avec opérateurs booléens et applications aux systèmes d'information / par Eric Sanjuan ; sous la direction de Luisa Iturrioz, Maurice Pouzet

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2000

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Treillis, Théorie des

Questionnaires, Théorie des

Pouzet, Maurice (1945-.... ; mathématicien) (Directeur de thèse / thesis advisor)

Iturrioz, Luisa (19..-....) (Directeur de thèse / thesis advisor)

Université Claude Bernard (Lyon) (Organisme de soutenance / degree-grantor)

Relation : Algèbres de Heyting avec opérateurs booléens et applications aux systèmes d'information / par Eric Sanjuan ; sous la direction de Luisa Iturrioz, Maurice Pouzet / Lille : Atelier national de reproduction des thèses , 2000