Proceedings Of The 10th Asian Logic Conference
Regular price
€133.99
14 days return policy
Shipping & Delivery
Category=PBCD
Computability
Computable Models
Computable Numberings
Computer Science
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Formulas
Fuzzy Logic
Logic Calculus
Mathematical Logic
Modal Logic
Model
Non-Classical Logic
Proofs
Temporal Logic
Theory
Product details
- ISBN 9789814293013
- Publication Date: 04 Dec 2009
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
