A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03B70
Affiner la recherche Interroger des sources externes
Logic 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