Forcing with random variables and proof complexity / Jan Krajicek
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Krajicek, Jan
|
| Titolo: |
Forcing with random variables and proof complexity / Jan Krajicek
|
| Pubblicazione: | Cambridge, UK ; New York : Cambridge University Press, 2011 |
| Descrizione fisica: | xvi, 247 p. : ill. ; 23 cm |
| Disciplina: | 511.36 |
| Soggetto topico: | Computational complexity |
| Random variables | |
| Mathematical analysis | |
| Classificazione: | AMS 03F20 |
| LC QA267.7.K73 | |
| Nota di bibliografia: | Includes bibliographical references (p. 236-242) and indexes |
| ISBN: | 9780521154338 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991001805339707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
London Mathematical Society lecture note series, 0076-0552 ; 382