دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Stefan Arnborg, Andrzej Proskurowski, Detlef Seese (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.) سری: Lecture Notes in Computer Science 533 ISBN (شابک) : 3540544879, 9783540544876 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1991 تعداد صفحات: 402 [409] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: کارگاه چهارم، CSL '90 هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کارگاه Computer Science Logic '90 در Max-Planck-Haus در هایدلبرگ، آلمان، 1 تا 5 اکتبر 1990 برگزار شد. این کارگاه چهارمین کارگاه از یک سری کارگاه ها بود، پس از CSL '89 در دانشگاه Kaiserslautern. (نگاه کنید به LNCS 440)، CSL '88 در دانشگاه Duisberg (به LNCS 385 مراجعه کنید)، و CSL '87 در دانشگاه کارلسروهه (به LNCS 329 مراجعه کنید). این جلد شامل 24 مقاله است که با روش بررسی از بین 35 مقاله ارائه شده در کارگاه انتخاب شده اند که برخی از آنها دعوت شده و برخی از مجموع 89 مقاله ارسالی انتخاب شده اند. این مقالات طیف گسترده ای از موضوعات ناشی از کاربردهای منطق در علوم کامپیوتر را پوشش می دهند.
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.