CCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005/San Jose, CA)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
CCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005/San Jose, CA)
|
| Pubblicazione: | [Place of publication not identified], : IEEE Computer Society Press, 2005 |
| Descrizione fisica: | 1 online resource : illustrations |
| Disciplina: | 005.115 |
| Soggetto topico: | Logic programming |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Sommario/riassunto: | This annual conference seeks original research papers in all areas of computational complexity theory. The proceedings also encompasses results from other areas of computer science and mathematics motivated by topics in complexity theory. The 30 papers in CCC 2005 has a broad focus on computational complexity while exploring topics such as complexity classes, algebraic complexity, proof complexity, interactive proof systems, Kolmogorov complexity, reducibility, communication complexity, complexity and logic. |
| Titolo autorizzato: | CCC 2005: 20th IEEE Conference on Computational Complexity (11-15 June 2005 |
| ISBN: | 9781538603185 |
| 1538603187 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910146537403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |