دانلود کتاب Logical Foundations of Computer Science: 4th International Symposium, LFCS’97 Yaroslavl, Russia, July 6–12, 1997 Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات) نوشته شده توسط «Sergei Artemov – Jennifer Davoren – Anil Nerode (auth.) – Sergei Adian – Anil Nerode (eds.)»
اطلاعات کتاب مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Sergei Artemov – Jennifer Davoren – Anil Nerode (auth.) – Sergei Adian – Anil Nerode (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 436
حجم کتاب: 4 مگابایت
کد کتاب: 3540630457 , 9783540630456
نوبت چاپ: 1
توضیحات کتاب مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS’97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین سمپوزیوم بینالمللی مبانی منطقی علوم رایانه، LFCS’97 است که در یاروسلاول، روسیه، در ژوئیه 1997 برگزار شد.
این جلد، 42 مقاله داوری اصلاحشده را ارائه میکند که با دقت توسط برنامه انتخاب شدهاند. کمیته تمام مسائل فعلی منطق علوم کامپیوتر بررسی می شود. تاکید خاصی بر گزارش پیشرفت های به دست آمده توسط دانشمندان بخش های مختلف اتحاد جماهیر شوروی سابق وجود دارد. اما همچنین بسیاری از مقالات قوی دیگر از جامعه تحقیقاتی بین المللی وجود دارد.
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS’97, held in Yaroslavl, Russia, in July 1997.
The volume presents 42 revised refereed papers carefully selected by the program committee. All current issues of computer science logic are addressed. There is a certain emphasis on reporting the progress achieved by scientists from various parts of the former Soviet Union; but there are also many other strong papers from the international research community.