Résultats 1 à 8

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 1 (2)
  • Grenoble Alpes (1)
  • Lille 1 (1)
  • Nantes (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (4)
  • Philosophie (3)
  • Épistémologie et histoire des sciences (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (8)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Bellynck Valérie (1)
    • Boitet Christian (1)
    • Bournez Olivier (1)
    • Delahaye Jean-Paul (1)
    • Dubucs Jacques (1)
    • Grinbaum Alexei (1)
    • Joinet Jean-Baptiste (1)
    • Marion Jean-Yves (1)
    • Szczeciniarz Jean-Jacques (1)
    • Valarcher Pierre (1)
    • Vienne Jean-Michel (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (4)
    • Philosophie, psychologie (2)
    • Epistémologie, causalité, genre humain (1)
    • Logique (1)

    Domaines :

    Fullscreen

    8 thèses pour "Thèse de Church"

    ...violant soit la thèse de Church-Turing soit la thèse deChurch-Turing étendue. La possibilité de réaliser...

    Accéder en ligne
    Épistémologie et histoire des sciences

    Soutenue en 2011
    thèse soutenue
    Informatique

    Soutenue en 1998
    thèse soutenue

    ...possible de prouver la thèse de Church. Mais cette thèse est étayée par lefait que les di érents systèmes...

    Accéder en ligne

    Résultats 1 à 8