A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur P. ODIFREDDI
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesLogic and computer science (1990) / S. Homer
Titre : Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 Type de document : séminaire Auteurs : S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1990 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1429 Importance : 162 p. ISBN/ISSN/EAN : 978-3-540-52734-3 Langues : Anglais (eng) Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Logic and computer science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 [séminaire] / S. Homer, Auteur ; Anil NERODE, Auteur ; R. A. Platek, Auteur ; Gerald E. SACKS, Auteur ; P. ODIFREDDI, Auteur . - Springer-Verlag, 1990 . - 162 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1429) .
ISBN : 978-3-540-52734-3
Langues : Anglais (eng)
Catégories : 03B20
03B40
03B70
03D15Mots-clés : logique symbolique informatique logique mathématique programmation Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 995 LN 1429 Livre Recherche Salle Disponible La mathématique. Vol I (2007) / Claudio BARTOCCI
Titre : La mathématique. Vol I : Les lieux et les temps Type de document : texte imprimé Auteurs : Claudio BARTOCCI, Directeur de publication, rédacteur en chef ; P. ODIFREDDI, Directeur de publication, rédacteur en chef Editeur : Paris : Centre National de la Recherche Scientifique Année de publication : 2007 Importance : 845 p. Présentation : bibliogr. ISBN/ISSN/EAN : 978-2-271-06817-0 Langues : Français (fre) Mots-clés : histoire épistémologie philosophie La mathématique. Vol I : Les lieux et les temps [texte imprimé] / Claudio BARTOCCI, Directeur de publication, rédacteur en chef ; P. ODIFREDDI, Directeur de publication, rédacteur en chef . - Paris : Centre National de la Recherche Scientifique, 2007 . - 845 p. : bibliogr.
ISBN : 978-2-271-06817-0
Langues : Français (fre)
Mots-clés : histoire épistémologie philosophie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i453 BAR/IREM/H-E Livre IREM Salle Disponible