دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Mohua Banerjee. A. V. Sreejith
سری: Lecture Notes in Computer Science, 13963
ISBN (شابک) : 3031266889, 9783031266881
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 231
[232]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 Mb
در صورت تبدیل فایل کتاب Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و کاربردهای آن: دهمین کنفرانس هند، ICLA 2023، ایندور، هند، 3 تا 5 مارس 2023، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب که با همکاری FoLLI ویرایش شده است، مجموعه مقالات دهمین کنفرانس هند در زمینه منطق و کاربردهای آن، ICLA 2023، که در مارس 2023 در ایندور، هند برگزار شد، است.</ p>
علاوه بر 6 مقاله دعوت شده ارائه شده در این جلد، 9 مقاله کامل ارائه شده وجود دارد که به دقت بررسی و از 18 مقاله ارسالی انتخاب شده است. این جلد طیف گسترده ای از موضوعات را پوشش می دهد. این مباحث مربوط به منطقهای مودال و زمانی، منطقهای پیوندی و امری شهودی، سیستمهایی برای استدلال با مفاهیم مبهم و خشن، منطق شبه بولی توپولوژیکی و مدلهای مجموعه خشن مبتنی بر شبه بولی، و قابلیت تعریف مرتبه اول توابع مسیر نمودارها هستند.
Edited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023.
Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.