Résultats 1 à 9

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 7 (2)
  • Cachan, Ecole normale supérieure (1)
  • Nancy 1 (1)
  • Paris 11 (1)
  • Paris 6 (1)
  • Rennes 1 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 3 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Image, information, hypermedia (1)
  • Linguistique (1)
  • Logique et fondements de l'informatique (1)
  • Sciences appliquées (1)
  • Sciences et techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (9)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Auroux Sylvain (1)
    • BEKKERS Y. (1)
    • Comon-Lundh Hubert (1)
    • Cousineau Guy (1)
    • HARDIN THERESE (1)
    • Kirchner Claude (1)
    • Krivine Jean-Louis (1)
    • Raynal Mathieu (1)
    • Reynaud Chantal (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (4)
    • Sciences de l'ingénieur (2)
    • Informatique, information, généralités (1)
    • Langues et linguistique (1)
    • Sciences de la nature et mathématiques (1)
    • Mathématiques (1)
    • Technologie (Sciences appliquées) (1)

    Domaines :

    Fullscreen

    Programmation en logique et typage d'ordre superieur

    par PASCALE LOUVET sous la direction de Y. BEKKERS - Rennes 1

    Informatique

    Soutenue en 1996
    thèse soutenue
    Logique et fondements de l'informatique

    Soutenue en 1999
    thèse soutenue
    Informatique

    Soutenue en 2005
    thèse soutenue

    ...permettant une saisie approximative des caractères. Nous pensonsqu en utilisant un système de déduction à la...

    Accéder en ligne

    Résultats 1 à 9