ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

دانلود کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، AISMC-2 کمبریج ، انگلستان ، 5-5 اوت 1994 مقالات منتخب

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

مشخصات کتاب

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers

دسته بندی: ریاضیات
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 958 
ISBN (شابک) : 3540601562, 9783540601562 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1995 
تعداد صفحات: 285 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، AISMC-2 کمبریج ، انگلستان ، 5-5 اوت 1994 مقالات منتخب: دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)، تحلیل عددی، ترکیبیات



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، AISMC-2 کمبریج ، انگلستان ، 5-5 اوت 1994 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، AISMC-2 کمبریج ، انگلستان ، 5-5 اوت 1994 مقالات منتخب



این جلد شامل نسخه‌های کامل اصلاح‌شده بهترین مقالات ارائه شده در دومین کنفرانس بین‌المللی هوش مصنوعی و محاسبات ریاضی نمادین، که در کمبریج، انگلستان در آگوست 1994 برگزار شد، می‌باشد. پس از یک دوره بسیار طولانی که به نظر می رسید هوش مصنوعی و ریاضیات جدایی دوستانه ای ترتیب داده اند، این زمینه ها دوباره به عنوان منطقه ای از فعالیت های میان رشته ای پربار در حال رشد هستند. این کتاب تعامل بین محاسبات ریاضی را بررسی می‌کند و زمینه را برای تمرکز آینده روی موضوعاتی که می‌توانند این حوزه را بیشتر متحد کنند، باز می‌کند.


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

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.
The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.



فهرست مطالب

Interactive theorem proving and computer algebra....Pages 1-9
A practical algorithm for geometric theorem proving....Pages 10-17
Combining theorem proving and symbolic mathematical computing....Pages 18-29
Tools for solving problems in the scope of algebraic programming....Pages 30-47
Planning a proof of the intermediate value theorem....Pages 48-63
A general technique for automatically optimizing programs through the use of proof plans....Pages 64-79
Datalog and TwoGroups and C++....Pages 80-92
Linear logic and real closed fields: A way to handle situations dynamically....Pages 93-114
A proof environment for arithmetic with the omega rule....Pages 115-130
Using commutativity properties for controlling coercions....Pages 131-143
Theories = signatures + propositions used as types....Pages 144-155
The ideal structure of Gröbner base computations....Pages 156-166
Modeling cooperating agents scenarios by deductive planning methods and logical fiberings....Pages 167-190
Propagation of mathematical constraints in subdefinite models....Pages 191-208
Combining computer algebra and rule based reasoning....Pages 209-223
Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory....Pages 224-243
Subsymbolic processing using adaptive algorithms....Pages 244-254
An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus....Pages 255-263
Subdefinite computations and symbolic transformations in the uniCalc solver....Pages 264-275




نظرات کاربران