دانلود کتاب Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
کتاب روششناسی برای سیستمهای هوشمند: هفتمین سمپوزیوم بینالمللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روششناسی برای سیستمهای هوشمند: هفتمین سمپوزیوم بینالمللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
نام کتاب : Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : روششناسی برای سیستمهای هوشمند: هفتمین سمپوزیوم بینالمللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات
سری : Lecture Notes in Computer Science 689 : Lecture Notes in Artificial Intelligence
نویسندگان : Jack Minker, Carolina Ruiz (auth.), Jan Komorowski, Zbigniew W. Raś (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1993
تعداد صفحات : 662
[664]
ISBN (شابک) : 3540568042 , 9783540568049
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 7 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد شامل مقالاتی است که برای ارائه در هفتمین سمپوزیوم بینالمللی متدولوژیهای سیستمهای هوشمند (ISMIS '93) که در ژوئن 1993 در مؤسسه فناوری نروژ، تروندهایم، نروژ برگزار شد، انتخاب شدهاند. این جلد شامل شش سخنرانی دعوتشده و 43 مقاله ارائهشده تحت عناوین زیر است: منطق، منطق برای هوش مصنوعی، سیستمهای متخصص هوش مصنوعی، سیستمهای مبتنی بر هوش مصنوعی مرتبط برنامه نویسی، سیستم های یادگیری و تطبیقی، روش ها، بازنمایی دانش، و ساخت. گفتگوهای دعوت شده عبارتند از: "درباره برنامه های منطقی گسسته توسعه یافته" (J. Minker، C. Ruiz)، "به سوی پایگاه های داده هوشمند" (F. Bry)، "روش شناسی برای مهندسی نرم افزار مبتنی بر دانش" (M. Lowry)، "مدل سازی سیستم های صنعتی" (L. Ljung)، "چهره های متعدد برنامه نویسی استقرایی"، و "L. "ارزیابی سیستماتیک روش های استدلال زمانی برای استفاده در عوامل مستقل" (E. Sandewall).
توضیحاتی در مورد کتاب به زبان اصلی :
This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian Institute of Technology, Trondheim, Norway, in June 1993. The volume includes six invited talks and 43 contributed papers organized under the following headings: logic for artificial intelligence, expert systems, intelligent databases, approximate reasoning, constraint programming, learning and adaptive systems, methodologies, knowledge representation, and manufacturing. Theinvited talks are: "On extended disjunctive logic programs" (J. Minker, C. Ruiz), "Towards intelligent databases" (F. Bry), "Methodologies for knowledge-based software engineering" (M. Lowry), "Modelling of industrial systems" (L. Ljung), "The many faces of inductive logic programming" (L. De Raedt, N. Lavrac), and "Systematic assessment of temporal reasoning methods for use in autonomous agents" (E. Sandewall).
پست ها تصادفی