Devismes, Stéphane (1979-....)

Devismes, Stéphane (1979-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 117725161

URI de l'entité : http://www.idref.fr/117725161/id

Notice de type Personne

Point d'accès autorisé

Devismes, Stéphane (1979-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Langue d'expression : français

Pays : France

Date de naissance : 1979

Genre : Masculin

Notes

Note publique d'information :

Professeur à l'Université de Picardie Jules Verne

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/213229954

Identifiant ORCID : 0000-0002-8032-9732

Identifiant HAL : stephane-devismes

Identifiant SCOPUS : 8922025800

Identifiant ISNI : 0000000138919619

Source

Bases de données : informatique BUT 1re année et L1 / Stéphane Devismes,... Anaïs Durand,... Pascal Lafourcade,..., 2024

Information trouvée : Professeur à l'Université de Picardie Jules Verne

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes, Pascal Lafourcade, Michel Lévy, 2012

Information trouvée : Maître de conférences, Université Joseph-Fourier, Grenoble

Quelques contributions à la stabilisation instantanée / Stéphane Devismes ; sous la direction de Alain Cournier et Vincent Villain, 2006 [thèse] Amiens

... Références liées : ...