Logic colloquium / R. ed. PARIKH (1975)

Public ISBD Titre : Logic colloquium : Symposium on logic held at Boston, 1972-73 Type de document : monographie Auteurs : R. ed. PARIKH, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 453 ISBN/ISSN/EAN : 978-3-540-07155-6 Langues : Anglais Catégories : 02B99 02C10 02C99 02D99 02F27 02G05 Mots-clés : logique symbolique  logique mathématique Logic colloquium : Symposium on logic held at Boston, 1972-73 [monographie] / R. ed. PARIKH, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 453) . ISBN : 978-3-540-07155-6 Langues : Anglais Catégories : 02B99 02C10 02C99 02D99 02F27 02G05 Mots-clés : logique symbolique  logique mathématique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3036	LN 453	Livre	Recherche	Salle	Disponible

The computational complexity of logical theories / Jeanne FERRANTE (1979)

Public ISBD 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 69A20 Mots-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 69A20 Mots-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

---

page 1/1