Résultats 1 à 8

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)
  • Toulouse 3 (1)

Etablissements :

Fullscreen

Disciplines :

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

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (8)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • 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)
      • 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 à 8