Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss
| Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1998 |
| Descrizione fisica | XII, 320 p. ; 24 cm. |
| Soggetto topico |
68R05 - Combinatorics in computer science [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| ISBN | 978-08-218-0577-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0054248 |
| Providence, : American mathematical society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss
| Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1998 |
| Descrizione fisica | XII, 320 p. ; 24 cm |
| Soggetto topico |
68R05 - Combinatorics in computer science [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| ISBN | 978-08-218-0577-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054248 |
| Providence, : American mathematical society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss
| Proof complexity and feasible arithmetics / edited by Paul W. Beame, Samuel R. Buss |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1998 |
| Descrizione fisica | XII, 320 p. ; 24 cm |
| Soggetto topico |
03Fxx - Proof theory and constructive mathematics [MSC 2020]
68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68R05 - Combinatorics in computer science [MSC 2020] |
| ISBN | 978-08-218-0577-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00054248 |
| Providence, : American mathematical society, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||