Bemærk: Kan ikke leveres før jul.
Forventes på lager: 25-10-2006
Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and complexity problems of minimal unsatisfiable formulas.
| Forlag | World Scientific Publishing Co Pte Ltd |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgivelsesdato | 25-10-2006 |
| Første udgivelsesår | 2006 |
| Fagredaktør | Sergey S (Russian Academy Of Sci Goncharov, Hiroakira (Japan Advanced Inst Of Sci & Tech Ono, Rodney G (Victoria Univ Of Wellington Downey |
| Originalsprog | Singapore |
| Sideantal | 328 |
| Indbinding | Hardback |
| Forlag | World Scientific Publishing Co Pte Ltd |
| Sideoplysninger | 328 pages |
| Mål | 229 x 159 x 22 |
| ISBN-13 / EAN-13 | 9789812700452 |