دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
دانلود کتاب روش‌شناسی برای سیستم‌های هوشمند: هفتمین سمپوزیوم بین‌المللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات
مشخصات کتاب
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
ویرایش: [1 ed.] نویسندگان: Jack Minker, Carolina Ruiz (auth.), Jan Komorowski, Zbigniew W. Raś (eds.) سری: Lecture Notes in Computer Science 689 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540568042, 9783540568049 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 662 [664] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌شناسی برای سیستم‌های هوشمند: هفتمین سمپوزیوم بین‌المللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌شناسی برای سیستم‌های هوشمند: هفتمین سمپوزیوم بین‌المللی، ISMIS'93 تروندهایم، نروژ، 15–18 ژوئن، 1993 مجموعه مقالات
این جلد شامل مقالاتی است که برای ارائه در هفتمین سمپوزیوم بین‌المللی روش‌شناسی سیستم‌های هوشمند (ISMIS '93)، که در موسسه فناوری نروژ، تروندهایم، نروژ، در ژوئن 1993 برگزار شد، انتخاب شده‌اند. این جلد شامل شش سخنرانی دعوت شده و 43 سخنرانی است. مقالاتی که تحت عناوین زیر سازماندهی شدند: منطق برای هوش مصنوعی، سیستم‌های خبره، پایگاه‌های اطلاعاتی هوشمند، استدلال تقریبی، برنامه‌نویسی محدودیت‌ها، سیستم‌های یادگیری و تطبیقی، روش‌شناسی، نمایش دانش، و ساخت. گفتگوهای دعوت شده عبارتند از: «درباره برنامه‌های منطقی گسسته توسعه یافته» (J. Minker، C. Ruiz)، «به سوی پایگاه‌های اطلاعاتی هوشمند» (F. Bry)، «متدولوژی‌هایی برای مهندسی نرم‌افزار مبتنی بر دانش» (M. لوری)، \"مدلسازی سیستم‌های صنعتی\" (L. Ljung)، \"چهره‌های متعدد برنامه‌نویسی منطق استقرایی\" (L. De Raedt, N. Lavrac) و \"ارزیابی سیستماتیک روش‌های استدلال زمانی برای استفاده در عوامل مستقل\" (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).
