Simon, Laurent (1973-.... ; informaticien)

Simon, Laurent (1973-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 070014949

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

Notice de type Personne

Point d'accès autorisé

Simon, Laurent (1973-.... ; informaticien)

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 : anglais,français

Pays : France

Date de naissance : 1973

Genre : Masculin

Notes

Note publique d'information :

Auteur d'une thèse de : Informatique, Université Paris 11, Orsay (en 2001). Rattaché à : Université de Bordeaux (en 2017)

Note publique d'information :

Professeur à l'Université de Bordeaux, LaBRI-CNRS (en 2019)

Source

Annuaire interne Université de Bordeaux, Décembre 2017

Information trouvée : Université de Bordeaux

Multirésolution pour le test de consistance et la déduction en logique propositionnelle / Laurent Simon, 2001 [thèse]

Towards more efficient parallel SAT solving / Ludovic Le Frioux ; sous la direction de Souheib Baarir, Fabrice Kordon et Julien Sopena. Thèse de doctorat : Informatique : Sorbonne université : 2019

Information trouvée : Professeur à l'Université de Bordeaux, LaBRI-CNRS (en 2019). Rapporteur d'une thèse en Informatique soutenue à Sorbonne université, Paris, en 2019

Identifiants externes

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

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet

Le point d'accès ne peut s'employer qu'en élément initial

Informations sur la notice

Identifiant de la notice : 070014949

RCR créateur de la notice : 914712101

Date de création : 12-03-2003

RCR dernier modificateur de la notice : 751050008

Date de dernière modification : 25-11-2020 à 14 h 48

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