Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /

Mostrar otras versiones (1)

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now con...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: Asian Logic Conference Kōbe Daigaku, World Scientific (Firm)
Otros Autores: Arai, Toshiyasu
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore ; Hackensack, N.J. : World Scientific Pub. Co., ©2010.
Temas:
Logic, Symbolic and mathematical > Congresses.
Logique symbolique et mathématique > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Electronic book.
Conference papers and proceedings
Acceso en línea:Texto completo
Descripción
Sumario:The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan.
Descripción Física:1 online resource (viii, 393 pages) : illustrations
Bibliografía:Includes bibliographical references.
ISBN:9789814293020
9814293024

Ejemplares similares