دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
دانلود کتاب هوش مصنوعی و محاسبات ریاضی نمادین: کنفرانس بین المللی، AISMC-3 Steyr، اتریش، 23-25 سپتامبر 1996، مقالات
مشخصات کتاب
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.) سری: Lecture Notes in Computer Science 1138 ISBN (شابک) : 3540617329, 9783540617327 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 389 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب هوش مصنوعی و محاسبات ریاضی نمادین: کنفرانس بین المللی، AISMC-3 Steyr، اتریش، 23-25 سپتامبر 1996، مقالات: هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، الگوریتم ها، منطق ریاضی و زبان های رسمی، سیستم ها و نظریه اطلاعات در مهندسی
در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی و محاسبات ریاضی نمادین: کنفرانس بین المللی، AISMC-3 Steyr، اتریش، 23-25 سپتامبر 1996، مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات ریاضی نمادین: کنفرانس بین المللی، AISMC-3 Steyr، اتریش، 23-25 سپتامبر 1996، مقالات
این کتاب مجموعه مقالات داوری سومین کنفرانس بین‌المللی هوش مصنوعی و محاسبات ریاضی نمادین، AISMC-3 است که در اشتیر، اتریش، در سپتامبر 1996 برگزار شد. انتخاب شده توسط کمیته برنامه؛ همچنین شامل چهار نظرسنجی دعوت شده و مشارکت های پیشرفته توسط اسکات، دیلمن و فردریش، کوهن و وانگ است. از جمله موضوعات مطرح شده می توان به اثبات قضیه، سیستم های بازنویسی، محاسبات نمادین، استدلال فضایی، هندسه محاسباتی و کسر خودکار اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third
International Conference on Artificial Intelligence and
Symbolic Mathematical Computation, AISMC-3, held in Steyr,
Austria, in September 1996.
The 19 revised full papers presented in the book were
carefully selected by the program committee; also included
are four invited survey and state-of-the-art contributions by
Scott, Dillmann and Friedrich, Cohn, and Wang. Among the
topics addressed are theorem proving, rewriting systems,
symbolic computation, spatial reasoning, computational
geometry, and automated deduction.
فهرست مطالب
Symbolic computation and teaching....Pages 1-20
Analytica — An experiment in combining theorem proving and symbolic computation....Pages 21-37
Document recognition, semantics, and symbolic reasoning in reverse engineering of software....Pages 38-48
Compromised updates in labelled databases....Pages 49-70
An inference engine for propositional two-valued logic based on the radical membership problem....Pages 71-86
Programming by demonstration: A machine learning approach to support skill acquision for robots....Pages 87-108
Knowledge-based information processing in manufacturing cells — The present and the future....Pages 109-123
Calculi for qualitative spatial reasoning....Pages 124-143
Combining local consistency, symbolic rewriting and interval methods....Pages 144-159
Proof transformation for non-compatible rewriting....Pages 160-175
PATCH Graphs: An efficient data structure for completion of finitely presented groups....Pages 176-190
Measuring the likely effectiveness of strategies....Pages 191-196
A new approach on solving 3-satisfiability....Pages 197-212
Geometry machines: From AI to SMC....Pages 213-239
Interactive Theorem Proving and finite projective planes....Pages 240-257
Towards modelling the topology of homogeneous manifolds by means of symbolic computation....Pages 258-273
Solving geometrical constraint systems using CLP based on linear constraint solver....Pages 274-288
Towards a sheaf semantics for cooperating agents scenarios....Pages 289-304
Data types in subdefinite models....Pages 305-319
On theorem-proving in Horn theories with built-in algebras....Pages 320-338
Backward reasoning in systems with cut....Pages 339-353
Soundness and completeness versus lifting property....Pages 354-364
Reasoning with preorders and dynamic sorts using free variable tableaux....Pages 365-379
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Dynamic equations on time scales: an introduction with applications
دانلود کتاب Mathematics for Year 5 (Middle Years Mathematics)
دانلود کتاب Alex through the looking-glass : how numbers reflect life and life reflects numbers
دانلود کتاب Functional Analysis, Sobolev Spaces and Partial Differential Equations
دانلود کتاب Partial differential equations and solitary waves theory
دانلود کتاب Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
دانلود کتاب Mathematics for Curriculum Leaders (Primary Inset)
دانلود کتاب Elliptic differential equations: Theory and numerical treatment
دانلود کتاب How Race Car Drivers Use Math (Math in the Real World)
