دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Stål Aanderaa (auth.), E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter (eds.) سری: Lecture Notes in Computer Science 702 ISBN (شابک) : 3540569928, 9783540569923 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 439 [448] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: ششمین کارگاه، CSL '92 San Miniato، ایتالیا، 28 سپتامبر – 2 اکتبر 1992 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این جلد مجموعه مقالات کارگاه منطق علوم کامپیوتر CSL '92 را ارائه می دهد که در پیزا، ایتالیا، در سپتامبر/اکتبر 1992 برگزار شد. CSL '92 ششمین دوره از مجموعه و اولین کنفرانس سالانه اروپا بود انجمن منطق علوم کامپیوتر (EACSL). نسخه های کامل مشارکت های کارگاه پس از ارائه جمع آوری و بررسی شد. بر اساس 58 بررسی، 26 مقاله برای چاپ انتخاب شدند و در فرم نهایی اصلاح شده در اینجا ظاهر می شوند. موضوعات مطرح شده در این جلد عبارتند از: ماشین های تورینگ، منطق خطی، منطق اثبات ها، مسائل بهینه سازی، حساب لامبدا، منطق نقطه ثابت، کامل بودن NP، وضوح، معناشناسی سیستم انتقال، توابع جزئی مرتبه بالاتر، جبرهای در حال تکامل، برنامه ریزی منطق تابعی، قابلیت تعریف استقرایی ، معناشناسی C، کلاسهای یک زبان تابعی، مسائل بهینهسازی NP، تئوری انواع و نامها، شناسایی و مرتبطسازی، 3-رضایتپذیری، اسلش کلین، برنامههای منطقی نفی کامل، ماشینهای اوراکل زمان چندجملهای، و مرتبه دوم مونادیک خواص.
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.