Cargando…

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /

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 pro...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Asian Logic Conference Novosibirsk, Russia
Otros Autores: Downey, R. G. (Rod G.), Goncharov, S. S., Ono, H.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, NJ : World Scientific, ©2006.
Temas:
Acceso en línea:Texto completo