GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Paul Van Praag, Metteur en scène, réalisateur ; UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2003Quatre contributions présentées lors d'une journée d'étude en février 2001 à l'Université de Mons-Hainaut : Histoire ou préhistoire de la dualité, relectures des triangles sphériques avec et après Euler ; La dualité en géométrie projective ; Thé[...]
texte imprimé
Christian Michaux, Éditeur scientifique ; UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2000Thèmes : relecture des travaux de Semenov sur certaines extensions de l'arithmétique de Presburger; nouvelle preuve d'un résultat sur l'indécidabilité du premier ordre des naturels avec l'addition; développement de la notion de fonctions calcul[...]
