دانلود کتاب Logical Foundations of Computer Science — Tver ’92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings (به فارسی: مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات) نوشته شده توسط «Dimitry A. Archangelsky – Mikhail A. Taitslin (auth.) – Anil Nerode – Mikhail Taitslin (eds.)»
اطلاعات کتاب مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Dimitry A. Archangelsky – Mikhail A. Taitslin (auth.) – Anil Nerode – Mikhail Taitslin (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1992
تعداد صفحه: 517
حجم کتاب: 5 مگابایت
کد کتاب: 3540557075 , 9783540557074
نوبت چاپ: 1
توضیحات کتاب مبانی منطقی علوم کامپیوتر — Tver ’92: دومین سمپوزیوم بین المللی Tver، روسیه، 20-24 ژوئیه، 1992 مجموعه مقالات
این جلد مقالات انتخاب شده برای سمپوزیوم منطق در Tver ’92، که در Sokol، نزدیک Tver، روسیه در ژوئیه 1992 برگزار شد، ارائه می‌کند. این دومین از مجموعه سمپوزیوم‌های بین‌المللی در زمینه مبانی منطقی علوم کامپیوتر است که در روسیه برگزار می‌شود. این نشست یک تلاش مشترک دانشمندان شوروی سابق و غرب است و نشان دهنده دوره جدیدی از همکاری بین المللی است. حامیان این نشست عبارتند از: انجمن ماشین های محاسباتی، انجمن منطق نمادین، و کمیته مبانی ریاضی علوم کامپیوتر IEEE. این کتاب منبع بی نظیری از اطلاعات در مورد وضعیت تحقیقات علوم رایانه در اتحاد جماهیر شوروی سابق است و اکتشافات مهمی را در زمینه مبانی منطقی علوم رایانه ارائه می دهد.
This volume presents the papers selected for the Symposium Logic at Tver ’92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.