توضیحات
This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. The book presents 7 invited talks together with 13 papers which were carefully reviewed and selected from 32 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.
————————————————————–
ترجمه ماشینی :
این کتاب با همکاری FoLLI، انجمن منطق، زبان و اطلاعات ویرایش شده است. این مجموعه مقالات هفدهمین کارگاه بین المللی منطق، زبان، اطلاعات و محاسبات، WoLLIC 2010، در برازیلیا، برزیل، در ژوئیه 2010 برگزار شد. این کتاب 7 سخنرانی دعوت شده را همراه با 13 مقاله ارائه می دهد که به دقت بررسی شده و از 32 مورد ارسالی انتخاب شده است. . این مقالات برخی از فعال ترین حوزه های تحقیقاتی را در مورد مرزهای بین محاسبات، منطق و زبان شناسی، با علاقه خاصی به موضوعات بین رشته ای پوشش می دهند. زمینه های معمول مورد علاقه عبارتند از: مبانی محاسبات و برنامه نویسی. مدلها و پارادایمهای محاسباتی جدید؛ مفاهیم گسترده اثبات و اعتقاد؛ روش های رسمی در توسعه نرم افزار و سخت افزار؛ رویکرد منطقی به زبان طبیعی و استدلال. منطق برنامه ها، اقدامات و منابع؛ جنبه های اساسی سازماندهی اطلاعات، جستجو، جریان، اشتراک گذاری و حفاظت.
tag : دانلود کتاب منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات , Download منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات , دانلود منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات , Download Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings Book , منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات دانلود , buy منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات , خرید کتاب منطق، زبان، اطلاعات و محاسبات: هفدهمین کارگاه بین المللی، WoLLIC 2010، برازیلیا، برزیل، 6-9 ژوئیه، 2010. مجموعه مقالات , دانلود کتاب Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings , کتاب Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings , دانلود Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings , خرید Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings , خرید کتاب Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.