Proceedings of the 10th Asian Logic Conference
Book information
Description
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.
Similar books
Proceedings of the 10th Asian Logic Conference
2010 · DJVU
Mathematical Logic in Asia
2006 · PDF
Intelligent Autonomous Systems 9
2006 · PDF
Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia
2006 · DJVU
Proceedings of the 09th Asian Logic Conference: Mathematical Logic in Asia
2006 · PDF
Techniques of Admissible Recursion Theory
1985 · DJVU
MySQL® Notes for Professionals book
2018 · PDF
MrExcel 2022: Boosting Excel
2022 · PDF