The computational complexity of logical theories [monographie] |
| Auteur(s): | Ferrante, Jeanne (1949-....) Rackoff, Charles W. (1948-....) |
| Langue: | anglais |
| Collection: | Lecture notes in mathematics, n° 718 |
| Editeur, date d'édition: | Springer, 1979 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New-York (US) |
| ISBN: | 0-387-09501-2 ; 3-540-09501-2 |
| ISSN: | 0075-8434 |
| Classification MSC: | 03B25 (2000) |
| Notes: | x ; bibliogr. pp. 234-238 ; index pp. 239-243 ; 24 cm ; 243 p. |
| Thèmes: | calcul des predicats, complexite de calcul, predicate calculus, computational complexity |
| Localisation: | https://link.springer.com/book/10.1007%2FBFb0062837 |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 FER 79 | Disponible |