A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur René CORI |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Un code pour les graphes planaires et ses applications / René CORI (1975)
Titre : Un code pour les graphes planaires et ses applications Type de document : texte imprimé Auteurs : René CORI, Auteur Editeur : Paris : Société Mathématique de France Année de publication : 1975 Collection : Astérisque, ISSN 0303-1179 num. 27 Importance : 169 p. Présentation : ill. Langues : Français Mots-clés : carte planaire pointée hypercarte codage de cartes arbre graphe planaire Note de contenu : bibliogr. Un code pour les graphes planaires et ses applications [texte imprimé] / René CORI, Auteur . - Paris : Société Mathématique de France, 1975 . - 169 p. : ill.. - (Astérisque, ISSN 0303-1179; 27) .
Langues : Français
Mots-clés : carte planaire pointée hypercarte codage de cartes arbre graphe planaire Note de contenu : bibliogr. Logique mathématique. 1 / René CORI (DL 2003)
Titre : Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-385 p. ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Anglais Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Logique mathématique. 1 : calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; Jean-Louis KRIVINE, Préfacier, etc. . - Malakoff : Dunod, DL 2003 . - XV-385 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005452-7
Langues : Anglais
Mots-clés : logique mathématique calcul propositionnel algèbre de Boole calcul des prédicats Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23040 COR/02/11185-I Livre Recherche Salle Disponible 19528 COR/02/7888-I Livre Recherche Salle Disponible Logique mathématique. 2 / René CORI (DL 2003)
Titre : Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Malakoff : Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-005453-4
Langues : Anglais
Mots-clés : logique mathématique fonction récursive théorème de Gödel théorie des ensembles théorie des modèles Note de contenu : index, notations, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19529 COR/02/7888-II Livre Recherche Salle Disponible