Proceedings of The 11th Asian Logic Conference
Book information
Description
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.
Similar books
High-Level Models of Unconventional Computations: A Case of Plasmodium
2018 · PDF
Metamathematics of Fuzzy Logic
DJVU
The Philosophy of Mathematics Education Today
2018 · PDF
Social, Cultural, and Behavioral Modeling: 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings
2018 · PDF
Next Generation Artificial Vision Systems: Reverse Engineering the Human Visual System
2008 · PDF
Innovative Mobile and Internet Services in Ubiquitous Computing: Proceedings of the 12th International Conference on Innovative Mobile and Internet ... in Intelligent Systems and Computing)
2018 · PDF
The Lvov-Warsaw School. Past and Present
2018 · PDF
Geometric Algebra Applications Vol. I: Computer Vision, Graphics and Neurocomputing
2019 · PDF