دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Thomas Christaller (auth.), Thomas Christaller, Hans-Werner Hein, Michael M. Richter (eds.) سری: Informatik-Fachberichte 159 ISBN (شابک) : 9783540189039, 9783642734052 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 347 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
کلمات کلیدی مربوط به کتاب هوش مصنوعی: مبانی نظری و زمینه های کاربردی Fruhjahrsschulen ، Dassel ، 8.-16. مارس 1985 و 8 تا 16 مارس 1986: هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Kunstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Fruhjahrsschulen, Dassel, 8.–16. Marz 1985 und 8.–16.Marz 1986 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی: مبانی نظری و زمینه های کاربردی Fruhjahrsschulen ، Dassel ، 8.-16. مارس 1985 و 8 تا 16 مارس 1986 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
مدرسه بهاری آلمان برای هوش مصنوعی که هر ساله توسط بخش 1.2 "هوش مصنوعی و تشخیص الگو" Gesellschaft für Informatik سازماندهی می شود، در سال های اخیر به نامی شناخته شده تبدیل شده است. این کتاب سومین جلد از شرحهای دورهای از مدارس بهار گذشته است، از سالهای 1985 و 1986. این کتاب تنوع موضوعی آنچه در حال حاضر در دسترس است را با مقدمههای جدید برای LISP و PROLOG، و همچنین مشارکتهای دقیق در مورد روباتیک، تأیید برنامه افزایش میدهد. ، مدل های کیفی، مدل های شناختی و اتوماسیون اثبات شود.
Die deutsche Frühjahrsschule für Künstliche Intelligenz, jährlich veranstaltet von der Fachgruppe 1.2 "Künstliche Intelligenz und Mustererkennung" der Gesellschaft für Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Frühjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrößert die thematische Vielfalt des bereits Verfügbaren um neuartige Einführungen in LISP und PROLOG, sowie ausführliche Beiträge über Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches Beweisen.
Front Matter....Pages i-vii
Einführung in LISP....Pages 1-35
PROLOG: PROgrammieren mit LOGik Eine Einführung....Pages 36-57
Robotik und Kunstliche Intelligenz....Pages 58-133
Programmverifikation....Pages 134-182
Qualitative Modelle in Wissensbasierten Systemen....Pages 183-244
Kognitive Modellierung: Menschliche Wissensrepräsentationen und Verarbeitungsstrategien....Pages 245-291
Automatisches Beweisen....Pages 292-339
Back Matter....Pages 341-341