A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Charles W. RACKOFF |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
The computational complexity of logical theories / Jeanne FERRANTE (1979)
Titre : The computational complexity of logical theories Type de document : texte imprimé Auteurs : Jeanne FERRANTE, Auteur ; Charles W. RACKOFF, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1979 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 718 Importance : V-243 p. ISBN/ISSN/EAN : 978-3-540-09501-9 Langues : Anglais Catégories : 02B10
02F10
02G05
68A40
69A20Mots-clés : complexité algorithmique théorie logique Note de contenu : index, références The computational complexity of logical theories [texte imprimé] / Jeanne FERRANTE, Auteur ; Charles W. RACKOFF, Auteur . - Berlin : Springer-Verlag, 1979 . - V-243 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 718) .
ISBN : 978-3-540-09501-9
Langues : Anglais
Catégories : 02B10
02F10
02G05
68A40
69A20Mots-clés : complexité algorithmique théorie logique Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5260 LN 718 Livre Recherche Salle Disponible