Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Krajícek, Jan
|
| Titolo: |
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
|
| Pubblicazione: | Cambridge [England] ; New York : Cambridge University Press, 1995 |
| Descrizione fisica: | xiii, 343 p. ; 24 cm. |
| Disciplina: | 511.3 |
| Soggetto topico: | Computational complexity |
| Constructive mathematics | |
| Proposition (Logic) | |
| Classificazione: | AMS 03F |
| QA9.56.K73 | |
| Note generali: | Includes bibliographical references and indexes |
| ISBN: | 0521452058 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991000722369707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Encyclopedia of mathematics and its applications ; 60