دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
دانلود کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC 2000 مادرید، اسپانیا، 17 تا 19 ژوئیه، 2000 مقاله تجدید نظر شده
مشخصات کتاب
Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
ویرایش: [1 ed.] نویسندگان: Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori (auth.), John A. Campbell, Eugenio Roanes-Lozano (eds.) سری: Lecture Notes in Computer Science 1930 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540420711, 9783540420712 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 258 [263] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 69,000
در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC 2000 مادرید، اسپانیا، 17 تا 19 ژوئیه، 2000 مقاله تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC 2000 مادرید، اسپانیا، 17 تا 19 ژوئیه، 2000 مقاله تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل کنفرانس بین المللی هوش مصنوعی و محاسبات نمادین، AISC 2000، که در مادرید، اسپانیا در ژوئیه 2000 برگزار شد، تشکیل می شود. در کتاب. از جمله موضوعاتی که به آنها پرداخته میشود، اثبات قضیه خودکار، استدلال منطقی، مدلسازی ریاضی سیستمهای چند عاملی، سیستمهای خبره و یادگیری ماشین، ریاضیات محاسباتی، مهندسی و کاربردهای صنعتی است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.
فهرست مطالب
George Boole, a Forerunner of Symbolic Computation....Pages 1-19
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management....Pages 20-31
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge....Pages 32-52
On Communicating Proofs in Interactive Mathematical Documents....Pages 53-64
Composite Distributive Lattices as Annotation Domains for Mediators....Pages 65-77
A Proof Strategy Based on a Dual Representation....Pages 78-91
Formalizing Rewriting in the ACL2 Theorem Prover....Pages 92-106
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices....Pages 107-114
Reasoning about the Elementary Functions of Complex Analysis....Pages 115-126
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic....Pages 127-141
Basic Operators for Solving Constraints via Collaboration of Solvers....Pages 142-156
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem....Pages 157-173
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra....Pages 174-183
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects....Pages 184-199
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design....Pages 200-213
How Symbolic Computation Can Benefit Computer-Aided Geometric Design....Pages 214-218
CDR: A Rewriting Based Tool to Design FPLA Circuits....Pages 219-222
Locally Effective Objects and Artificial Intelligence....Pages 223-226
Negotiation Algorithms for Multi-agent Interactions....Pages 227-239
Some Techniques of Isomorph-Free Search....Pages 240-252
نظرات کاربران
کتاب های تصادفی
دانلود کتاب OCA Oracle Certified Associate Java SE 8 Programmer I Study Guide Exam 1Z0-808
دانلود کتاب Economic and environmental benefits and costs of transgenic crops: ex-ante assessment
دانلود کتاب Hannah Arendt and the Search for a New Political Philosophy
