Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (2)
  • Grenoble (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • IAEM Lorraine (1)
    • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (3)

      Langues :

      Fullscreen

      Directeurs de thèse :

      Valider et fermer
      • Caferra Ricardo (1)
      • Kirchner Claude (1)
      • Peltier Nicolas (1)
      • Rusinowitch Michaël (1)

      Directeurs de thèse :

      Fullscreen

      Domaines :

      Valider et fermer
      • Informatique (3)

        Domaines :

        Fullscreen

        ...redondante dans S par laproposition 15.Le théorème 7 établit la complétude réfutationnelle du calcul IOR...

        Accéder en ligne
        Informatique

        Soutenue le 26-10-2007
        thèse soutenue

        .... . . . . . . . . . . . . . . . . . . . . . . . . . . . . 961.5 Comple´tude re´futationnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98Chapitre...

        Accéder en ligne

        Résultats 1 à 3