دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Proceedings of The 11th Asian Logic Conference
دانلود کتاب مجموعه مقالات یازدهمین کنفرانس منطق آسیایی
مشخصات کتاب
Proceedings of The 11th Asian Logic Conference
ویرایش: نویسندگان: Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang (eds.) سری: ISBN (شابک) : 9814360538, 9789814360531 ناشر: World Scientific Publishing Company سال نشر: 2011 تعداد صفحات: 190 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 53 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب مجموعه مقالات یازدهمین کنفرانس منطق آسیایی: هوش و معناشناسی، هوش مصنوعی و یادگیری ماشین، علوم کامپیوتر، کامپیوتر و فناوری، منطق، طراحی نرم افزار، تست و مهندسی، برنامه نویسی، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، هوش مصنوعی، علوم کامپیوتر، جدید، کتاب های درسی مستعمل و اجاره ای، بوتیک تخصصی، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Proceedings of The 11th Asian Logic Conference به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مجموعه مقالات یازدهمین کنفرانس منطق آسیایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مجموعه مقالات یازدهمین کنفرانس منطق آسیایی
کنفرانس منطق آسیایی بخشی از مجموعه کنفرانس های منطق است که در سال 1981 در سنگاپور افتتاح شد. معمولاً هر سه سال یکبار برگزار می شود و بین کشورهای منطقه آسیا و اقیانوسیه به صورت چرخشی برگزار می شود. یازدهمین کنفرانس منطق آسیایی به مناسبت شصتمین سالگرد تولد پروفسور چونگ چیتات در دانشگاه ملی سنگاپور برگزار شد. این کنفرانس در حوزه وسیع منطق، از جمله علوم کامپیوتر نظری است. این یک رویداد بزرگ در این زمینه محسوب می شود و به طور منظم توسط انجمن منطق نمادین حمایت می شود. این جلد شامل مقالاتی از این نشست است.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cooling Towers Standards
دانلود کتاب Agent-based Modeling of Tax Evasion: Theoretical Aspects and Computational Simulations
دانلود کتاب Українська мова професійного спрямування (технічні спеціальності). Практикум
دانلود کتاب Microeconomics: Private and Public Choice, 13th Edition
