ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings

دانلود کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی ، AISC 2004 ، لینز ، اتریش ، 22-24 سپتامبر 2004 ، مجموعه مقالات

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings

مشخصات کتاب

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 3540302107 
ناشر:  
سال نشر: 2003 
تعداد صفحات: 299 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی ، AISC 2004 ، لینز ، اتریش ، 22-24 سپتامبر 2004 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی ، AISC 2004 ، لینز ، اتریش ، 22-24 سپتامبر 2004 ، مجموعه مقالات

این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی هوش مصنوعی و محاسبات نمادین، AISC 2004، در لینز، اتریش در سپتامبر 2004 برگزار شد. برای درج در کتاب انتخاب شده است. این مقالات به تمام جنبه های فعلی در زمینه محاسبات نمادین و هوش مصنوعی اختصاص داده شده است: مبانی ریاضی، پیاده سازی، و برنامه های کاربردی در صنعت و دانشگاه.


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

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.



فهرست مطالب

Table of Contents......Page 10
The Algorithmization of Physics: Math Between Science and Engineering......Page 12
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search......Page 19
Proof Search in Minimal Logic......Page 26
Planning and Patching Proof......Page 37
A Paraconsistent Higher Order Logic......Page 49
Abstraction Within Partial Deduction for Linear Logic......Page 63
A Decision Procedure for Equality Logic with Uninterpreted Functions......Page 77
Generic Hermitian Quantifier Elimination......Page 91
Extending Finite Model Searching with Congruence Closure Computation......Page 105
On the Combination of Congruence Closure and Completion......Page 114
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques......Page 129
Proving and Constraint Solving in Computational Origami......Page 143
An Evolutionary Local Search Method for Incremental Satisfiability......Page 154
Solving Equations Involving Sequence Variables and Sequence Functions......Page 168
Verified Computer Algebra in ACL2. Gröbner Bases Computation......Page 182
Polynomial Interpretations with Negative Coefficients......Page 196
New Developments in Symmetry Breaking in Search Using Computational Group Theory......Page 210
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks......Page 222
Four Approaches to Automated Reasoning with Differential Algebraic Structures......Page 233
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy......Page 247
An Expert System on Detection, Evaluation and Treatment of Hypertension......Page 262
Two Revision Methods Based on Constraints: Application to a Flooding Problem......Page 276
Abstraction-Driven Verification of Array Programs......Page 282
Singularities in Qualitative Reasoning......Page 287
From a Computer Algebra Library to a System with an Equational Prover......Page 292
Author Index......Page 296




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی