Résultats 1 à 2

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1)
  • Sciences et techniques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (2)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • Margenstern Maurice (1)
      • Rusinowitch Michaël (1)
      • Stratulat Sorin (1)

      Directeurs de thèse :

      Fullscreen

      Domaines :

      Valider et fermer
      • Informatique (1)
      • Sciences de la nature et mathématiques (1)
      • Technologie (Sciences appliquées) (1)

      Domaines :

      Fullscreen

      .... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94Chapitre 6Certification automatique des preuves par récurrence implicite à la Spike dansCoq6...

      Accéder en ligne

      Résultats 1 à 2