دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
دانلود کتاب مرزهای سیستم های ترکیبی: یازدهمین سمپوزیوم بین المللی، FroCoS 2017، برازیلیا، برزیل، 27-29 سپتامبر 2017، مجموعه مقالات
مشخصات کتاب
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
ویرایش: نویسندگان: Dixon. Clare, Finger. Marcelo سری: Lecture Notes in Computer Science 10483 ISBN (شابک) : 9783319661674, 9783319661667 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 355 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب مرزهای سیستم های ترکیبی: یازدهمین سمپوزیوم بین المللی، FroCoS 2017، برازیلیا، برزیل، 27-29 سپتامبر 2017، مجموعه مقالات: علوم کامپیوتر، محاسبات، مهندسی نرم افزار، مهندسی نرم افزار، الگوریتم ها، الگوریتم ها، منطق کامپیوتری، منطق کامپیوتری، منطق ریاضی، هوش مصنوعی، هوش مصنوعی، نرم افزار کاربردی، نرم افزار کاربردی، منطق، نمادین و ریاضی
در صورت تبدیل فایل کتاب Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مرزهای سیستم های ترکیبی: یازدهمین سمپوزیوم بین المللی، FroCoS 2017، برازیلیا، برزیل، 27-29 سپتامبر 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مرزهای سیستم های ترکیبی: یازدهمین سمپوزیوم بین المللی، FroCoS 2017، برازیلیا، برزیل، 27-29 سپتامبر 2017، مجموعه مقالات
این کتاب مجموعه مقالات یازدهمین سمپوزیوم بین‌المللی مرزهای
ترکیب سیستم‌ها، FroCoS 2017 است که در برازیلیا، بازیل، در
سپتامبر 2017 برگزار شد. 17 مقاله ارائه‌شده در این جلد به
دقت بررسی و از 26 مورد ارسالی انتخاب شدند. آنها در بخش‌های
موضوعی به نام‌های: توضیحات و منطق‌های زمانی، رویه‌های
تصمیم‌گیری، قابلیت تصمیم‌گیری و تأیید، SAT، SMT و خودکار
سازمان‌دهی شدند اثبات قضیه، بازنویسی عبارت، و
ویژگی‌ها و ترکیبی از منطق. ادامه
مطلب...
چکیده: این کتاب مجموعه مقالات یازدهم است. سمپوزیوم بین‌المللی
مرزهای ترکیب سیستم‌ها، FroCoS 2017، در برازیلیا، بازیل، در
سپتامبر 2017 برگزار شد. 17 مقاله ارائه شده در این جلد به
دقت بررسی و از بین 26 مورد ارسالی انتخاب شدند. آنها در بخش‌های
موضوعی به نام‌های شرح و منطق‌های زمانی، رویه‌های تصمیم‌گیری،
تصمیم‌پذیری و تأیید، SAT، SMT و اثبات قضیه خودکار، بازنویسی
اصطلاح، و ویژگی‌ها و ترکیب‌های منطق سازمان‌دهی شدند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 11th International
Symposium on Frontiers of Combining Systems, FroCoS 2017, held
in Brasília, Bazil, in September 2017. The 17 papers
presented in this volume were carefully reviewed and selected
from 26 submissions. They were organized in topical sections
named: description and temporal logics, decision procedures,
decidability and verification, SAT, SMT and automated
theorem proving,
term rewriting, and properties and combinations of
logics. Read
more...
Abstract: This book constitutes the proceedings of the 11th
International Symposium on Frontiers of Combining Systems,
FroCoS 2017, held in Brasília, Bazil, in September 2017.
The 17 papers presented in this volume were carefully reviewed
and selected from 26 submissions. They were organized in
topical sections named: description and temporal logics,
decision procedures, decidability and verification, SAT, SMT
and automated theorem proving, term rewriting, and properties
and combinations of logics
فهرست مطالب
Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic (Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl et al.)....Pages 3-21
Designing Theory Solvers with Extensions (Andrew Reynolds, Cesare Tinelli, Dejan Jovanović, Clark Barrett)....Pages 22-40
Front Matter ....Pages 41-41
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors (Franz Baader)....Pages 43-59
Metric Temporal Description Logics with Interval-Rigid Names (Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost)....Pages 60-76
Using Ontologies to Query Probabilistic Numerical Data (Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan)....Pages 77-94
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions (Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard)....Pages 95-112
Front Matter ....Pages 113-113
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems (Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama)....Pages 115-131
Complexity Analysis for Term Rewriting by Integer Transition Systems (Matthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl)....Pages 132-150
Front Matter ....Pages 151-151
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report (Zhengbing Bian, Fabian Chudak, William Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti)....Pages 153-171
Superposition with Structural Induction (Simon Cruanes)....Pages 172-188
Subtropical Satisfiability (Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Tung Vu)....Pages 189-206
Front Matter ....Pages 207-207
On Solving Nominal Fixpoint Equations (Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández, Daniele Nantes-Sobrinho)....Pages 209-226
Decidable Verification of Decision-Theoretic Golog (Jens Claßen, Benjamin Zarrieß)....Pages 227-243
The Bernays–Schönfinkel–Ramsey Fragment with Bounded Difference Constraints over the Reals Is Decidable (Marco Voigt)....Pages 244-261
Front Matter ....Pages 263-263
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation (Matthias Baaz, Anela Lolic)....Pages 265-280
Finitariness of Elementary Unification in Boolean Region Connection Calculus (Philippe Balbiani, Çiğdem Gencer)....Pages 281-297
Merging Fragments of Classical Logic (Carlos Caleiro, Sérgio Marcelino, João Marcos)....Pages 298-315
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case) (Silvio Ghilardi, Alessandro Gianola)....Pages 316-332
The Boolean Solution Problem from the Perspective of Predicate Logic (Christoph Wernhard)....Pages 333-350
Back Matter ....Pages 351-351
