page d'accueil   sommaire   disciplines  

Logique mathématique
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1170).


unités de recherche


Service ingénierie de l'informatique et de la décision [Department of Computer and Decision Engineering] (CoDE)



chercheurs





disciplines et mots clés associés


Logique mathématique

histoires computationnelles inférence inductive logiques modales machine universelle de Turing superposition quantique thèse de Church