دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.) سری: Lecture Notes in Computer Science 958 ISBN (شابک) : 3540601562, 9783540601562 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 285 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ادغام محاسبات ریاضی نمادین و هوش مصنوعی: دومین کنفرانس بین المللی ، 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