دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
دانلود کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی، AISC 2004، Linz، اتریش، 22-24 سپتامبر 2004. پرونده ها
مشخصات کتاب
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
دسته بندی: ریاضیات محاسباتی ویرایش: 1 نویسندگان: Markus Rosenkranz (auth.), Bruno Buchberger, John Campbell (eds.) سری: Lecture Notes in Computer Science 3249 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540232125, 9783540302100 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 299 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی، AISC 2004، Linz، اتریش، 22-24 سپتامبر 2004. پرونده ها: هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، محاسبات عددی، ریاضیات گسسته در علوم کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی، AISC 2004، Linz، اتریش، 22-24 سپتامبر 2004. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات نمادین: هفتمین کنفرانس بین المللی، AISC 2004، Linz، اتریش، 22-24 سپتامبر 2004. پرونده ها
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین المللی هوش مصنوعی و محاسبات نمادین، AISC 2004 است که در لینز، اتریش در سپتامبر 2004 برگزار شد.
17 مقاله کامل اصلاح شده و 4 مقاله کوتاه اصلاح شده ارائه شده همراه با 4 مقاله دعوت شده به دقت بررسی و برای درج در کتاب انتخاب شد. این مقالات به تمام جنبه های فعلی در زمینه محاسبات نمادین و هوش مصنوعی اختصاص داده شده است: مبانی ریاضی، پیاده سازی، و کاربردها در صنعت و دانشگاه.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages -
The Algorithmization of Physics: Math Between Science and Engineering....Pages 1-7
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search....Pages 8-14
Proof Search in Minimal Logic....Pages 15-25
Planning and Patching Proof....Pages 26-37
A Paraconsistent Higher Order Logic....Pages 38-51
Abstraction Within Partial Deduction for Linear Logic....Pages 52-65
A Decision Procedure for Equality Logic with Uninterpreted Functions....Pages 66-79
Generic Hermitian Quantifier Elimination....Pages 80-93
Extending Finite Model Searching with Congruence Closure Computation....Pages 94-102
On the Combination of Congruence Closure and Completion....Pages 103-117
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques....Pages 118-131
Proving and Constraint Solving in Computational Origami....Pages 132-142
An Evolutionary Local Search Method for Incremental Satisfiability....Pages 143-156
Solving Equations Involving Sequence Variables and Sequence Functions....Pages 157-170
Verified Computer Algebra in Acl2 ....Pages 171-184
Polynomial Interpretations with Negative Coefficients....Pages 185-198
New Developments in Symmetry Breaking in Search Using Computational Group Theory....Pages 199-210
Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks....Pages 211-221
Four Approaches to Automated Reasoning with Differential Algebraic Structures....Pages 222-235
Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy....Pages 236-250
An Expert System on Detection, Evaluation and Treatment of Hypertension....Pages 251-264
Two Revision Methods Based on Constraints: Application to a Flooding Problem....Pages 265-270
Abstraction-Driven Verification of Array Programs....Pages 271-275
Singularities in Qualitative Reasoning....Pages 276-280
From a Computer Algebra Library to a System with an Equational Prover....Pages 281-284
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Numerical Analysis
دانلود کتاب Fundamental numerical methods and data analysis
دانلود کتاب An overview of evolutionary computation 001
دانلود کتاب Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I
دانلود کتاب Handbook of Statistics 9: Computational Statistics
دانلود کتاب Knot insertion and deletion algorithms for B-spline curves and surfaces
دانلود کتاب Numerical methods
دانلود کتاب Classical and quantum computation
دانلود کتاب Computational Continuum Mechanics
