برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings

دانلود کتاب برنامه ریزی منطقی: اولین کنفرانس روسیه برنامه ریزی منطقی Irkutsk، روسیه، 14-18 سپتامبر 1990 دومین کنفرانس روسیه برنامه ریزی منطقی سنت پترزبورگ، روسیه، 11-16 سپتامبر 1991 پرونده ها

مشخصات کتاب

Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings

دسته بندی: برنامه نويسي
ویرایش: 1 
نویسندگان: Yves Bekkers,  Lucien Ungaro (auth.),  A. Voronkov (eds.)  
سری: Lecture Notes in Computer Science 592 
ISBN (شابک) : 3540554602, 0387554602 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1992 
تعداد صفحات: 523 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 31,000

کلمات کلیدی مربوط به کتاب برنامه ریزی منطقی: اولین کنفرانس روسیه برنامه ریزی منطقی Irkutsk، روسیه، 14-18 سپتامبر 1990 دومین کنفرانس روسیه برنامه ریزی منطقی سنت پترزبورگ، روسیه، 11-16 سپتامبر 1991 پرونده ها: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، منطق ریاضی و مبانی

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 9

در صورت تبدیل فایل کتاب Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه ریزی منطقی: اولین کنفرانس روسیه برنامه ریزی منطقی Irkutsk، روسیه، 14-18 سپتامبر 1990 دومین کنفرانس روسیه برنامه ریزی منطقی سنت پترزبورگ، روسیه، 11-16 سپتامبر 1991 پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه ریزی منطقی: اولین کنفرانس روسیه برنامه ریزی منطقی Irkutsk، روسیه، 14-18 سپتامبر 1990 دومین کنفرانس روسیه برنامه ریزی منطقی سنت پترزبورگ، روسیه، 11-16 سپتامبر 1991 پرونده ها

این جلد شامل مجموعه مقالات دو کنفرانس روسی در مورد برنامه ریزی منطقی است که در سال 1990 در ایرکوتسک و در سال 1991 در سن پترزبورگ برگزار شد. هدف از کنفرانس ها گرد هم آوردن محققان از جوامع برنامه نویسی منطق روسیه و بین المللی بود. موضوعات مطرح شده در این جلد عبارتند از: برنامه نویسی منطقی، اثبات قضیه خودکار، استدلال غیر یکنواخت، کاربردهای منطق ریاضی در علوم کامپیوتر، پایگاه داده های قیاسی، اجرای مفاهیم اعلامی، و برنامه نویسی در منطق های غیر کلاسیک. این اولین جلدی است که نشان دهنده فعالیت در زمینه برنامه نویسی منطقی در کشورهای اتحاد جماهیر شوروی سابق است.

توضیحاتی درمورد کتاب به خارجی

This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union.

فهرست مطالب

Real-time memory management for Prolog....Pages 1-12
A process semantics of logic programs....Pages 13-26
Logical operational semantics of Parlog Part II: Or-Parallelism....Pages 27-34
WAM algebras—A mathematical study of implementation Part 2....Pages 35-54
Abdugtive systems for non-monotonig reasoning....Pages 55-65
Properties of algorithmic operators....Pages 66-78
Deep logic program transformation using abstract interpretation....Pages 79-101
Objects in a logic programming framework....Pages 102-113
Integrity verification in knowledge bases....Pages 114-139
On procedural semantics of metalevel negation....Pages 140-151
Probabilistic logic programs and their semantics....Pages 152-164
Implementation of Prolog as binary definite programs....Pages 165-176
Prolog semantics for measuring space consumption....Pages 177-192
Or-parallel Prolog with heuristic task distribution....Pages 193-200
A WAM compilation scheme....Pages 201-214
Safe positive induction in the programming logic TK....Pages 215-231
Wam specification for parallel execution on SIMD computer....Pages 232-239
On abstracting the procedural behaviour of logic programs....Pages 240-262
Treating enhanced entity relationship models in a declarative style....Pages 263-270
Processing of ground regular terms in Prolog....Pages 271-285
Compiling Flang....Pages 286-293
FIDO: Finite domain consistency techniques in logic programming....Pages 294-301
A constructive logic approach to database theory....Pages 302-321
Abstract syntax and logic programming....Pages 322-337
Deduction search with generalized terms....Pages 338-348
A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation....Pages 349-360
Free deduction: An analysis of “Computations” in classical logic....Pages 361-380
Gentzen-type calculi for modal logic S4 with barcan formula....Pages 381-390
Logical foundation for logic programming based on first order linear temporal logic....Pages 391-406
Logic Programming with Pseudo-Resolution....Pages 407-414
Brave: An OR-parallel dialect of Prolog and its application to artificial intelligence....Pages 415-432
A declarative debugging environment for DATALOG....Pages 433-441
A sequent calculus for a first order linear temporal logic with explicit time....Pages 442-451
A logical-based language for feature specification and transmission control....Pages 452-461
Program transformations and WAM-support for the compilation of definite metaprograms....Pages 462-473
Some considerations on the logic P F D....Pages 474-485
Logic programming with bounded quantifiers....Pages 486-514