ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

دانلود کتاب Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

مشخصات کتاب

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 2392 : Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 3540439315, 9783540439318 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2002 
تعداد صفحات: 544 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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



کلمات کلیدی مربوط به کتاب Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان‌های رسمی، منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان



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

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


در صورت تبدیل فایل کتاب Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات



اولین CADE در هزاره سوم این جلد شامل مقالات ارائه شده در هجدهمین کنفرانس بین المللی C در مورد کسر خودکار (CADE-18) است که در 27 تا 30 ژوئیه 2002 در دانشگاه کپنهاگ به عنوان بخشی از فدرال برگزار شد. کنفرانس منطق (FLoC 2002). با وجود تعداد زیادی از کنفرانس‌های مربوط به کسر در پایان هزاره گذشته، کنفرانس‌های CADE همچنان کانون اصلی ارائه تحقیقات جدید در تمام جنبه‌های کسر خودکار هستند. CADE-18 توسط انجمن استدلال خودکار، CADE Inc.، دپارتمان علوم کامپیوتر در دانشگاه چالمرز، Gesellschaft fur ¨ Informatik، Safelogic AB، و دانشگاه Koblenz-Landau حمایت مالی شد. 70 مقاله ارسالی شامل 60 مقاله معمولی و 10 نسخه سیستمی ارسال شد. هر ارسالی حداقل توسط اعضای کمیته برنامه بررسی شد و جلسه کمیته برنامه الکترونیکی از طریق اینترنت برگزار شد. کمیته تصمیم گرفت 27 مقاله معمولی و 9 توصیف سیستم را بپذیرد. یک مقاله پس از داوری دسته بندی خود را تغییر داد، بنابراین تعداد کل توضیحات سیستم در این جلد 10 است. علاوه بر مقالات داوری، این جلد شامل یک چکیده گسترده از سخنرانی دعوت شده CADE توسط Ian Horrocks، گفتگوی مشترک دعوت شده CADE/CAV است. توسط Sharad Malik، و سخنرانی مشترک CADE-TABLEAUX دعوت شده توسط Matthias Baaz. یک سخنرانی دعوت شده دیگر توسط دانیل جکسون ارائه شد.


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

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.



فهرست مطالب

Reasoning with Expressive Description Logics: Theory and Practice....Pages 1-15
Temporal Logic for Proof-Carrying Code....Pages 16-30
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code....Pages 31-46
Formal Verification of a Java Compiler in Isabelle....Pages 47-62
Embedding Lax Logic into Intuitionistic Logic....Pages 63-77
Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic....Pages 78-93
Connection-Based Proof Search in Propositional BI Logic....Pages 94-110
DDDLIB: A Library for Solving Quantified Difference Inequalities....Pages 111-128
An LCF-Style Interface between HOL and First-Order Logic....Pages 129-133
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning....Pages 134-138
Proof Development with Ω mega ....Pages 139-143
LearnΩmatic: System Description....Pages 144-149
 HyLoRes 1.0: Direct Resolution for Hybrid Logics....Pages 150-155
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points....Pages 156-160
A Note on Symmetry Heuristics in SEM....Pages 161-180
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions....Pages 181-194
Deductive Search for Errors in Free Data Type Specifications Using Model Generation....Pages 195-210
Reasoning by Symmetry and Function Ordering in Finite Model Generation....Pages 211-225
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations....Pages 226-240
A New Clausal Class Decidable by Hyperresolution....Pages 241-259
 Spass Version 2.0....Pages 260-274
System Description: GrAnDe 1.0....Pages 275-279
The HR Program for Theorem Generation....Pages 280-284
AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description —....Pages 285-289
The Quest for Efficient Boolean Satisfiability Solvers....Pages 290-294
Recursive Path Orderings Can Be Context-Sensitive....Pages 295-313
Shostak Light....Pages 314-331
Formal Verification of a Combination Decision Procedure....Pages 332-346
Combining Multisets with Integers....Pages 347-362
The Reflection Theorem: A Study in Meta-theoretic Reasoning....Pages 363-376
Faster Proof Checking in the Edinburgh Logical Framework....Pages 377-391
Solving for Set Variables in Higher-Order Theorem Proving....Pages 392-407
The Complexity of the Graded μ -Calculus....Pages 408-422
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains....Pages 423-437
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation....Pages 438-455
Basic Syntactic Mutation....Pages 456-470
The Next Waldmeister Loop....Pages 471-485
Focussing Proof-Net Construction as a Middleware Paradigm....Pages 486-500
Proof Analysis by Resolution....Pages 501-516
....Pages 517-531




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

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