دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
دانلود کتاب جنبه های عملی زبان های اعلانی: بیست و یکمین سمپوزیوم بین المللی، PADL 2019، لیسبون، پرتغال، 14-15 ژانویه 2019، مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ویرایش: 1st ed.
نویسندگان: José Júlio Alferes. Moa Johansson
سری: Lecture Notes in Computer Science 11372
ISBN (شابک) : 9783030059972, 9783030059989
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: 248
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 73,000
کلمات کلیدی مربوط به کتاب جنبه های عملی زبان های اعلانی: بیست و یکمین سمپوزیوم بین المللی، PADL 2019، لیسبون، پرتغال، 14-15 ژانویه 2019، مجموعه مقالات: علوم کامپیوتر، زبان های برنامه نویسی، کامپایلرها، مترجمان، تئوری محاسبات، سیستم های اطلاعاتی و خدمات ارتباطی
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلانی: بیست و یکمین سمپوزیوم بین المللی، PADL 2019، لیسبون، پرتغال، 14-15 ژانویه 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلانی: بیست و یکمین سمپوزیوم بین المللی، PADL 2019، لیسبون، پرتغال، 14-15 ژانویه 2019، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بینالمللی جنبههای کاربردی زبانهای اعلانی، PADL 2019 است که برگزار شد. در لیسبون، پرتغال، در ژانویه 2019. 14 مقاله کامل اصلاح شده با دقت بررسی و از بین 35 مقاله ارسالی انتخاب شدند. مقالهها کار اصلی را ارائه میدهند که بر کاربردهای جدید و تکنیکهای پیادهسازی برای همه اشکال مفاهیم اعلامی، از جمله منطق، محدودیتها، و زبانهای تابعی تأکید دارد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages.
فهرست مطالب
Front Matter ....Pages I-X
Strong Equivalence and Program’s Structure in Arguing Essential Equivalence Between First-Order Logic Programs (Yuliya Lierler)....Pages 1-18
Automatic Program Rewriting in Non-Ground Answer Set Programs (Nicholas Hippen, Yuliya Lierler)....Pages 19-36
Personalized Course Schedule Planning Using Answer Set Programming (Muhammed Kerem Kahraman, Esra Erdem)....Pages 37-45
An ASP Based Approach to Answering Questions for Natural Language Text (Dhruva Pendharkar, Gopal Gupta)....Pages 46-63
Natural Language Generation from Ontologies (Van Nguyen, Tran Cao Son, Enrico Pontelli)....Pages 64-81
Improving Residuation in Declarative Programs (Michael Hanus)....Pages 82-97
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP (Joaquín Arias, Manuel Carro)....Pages 98-114
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (Paul Tarau)....Pages 115-132
Faster Coroutine Pipelines: A Reconstruction (Ruben P. Pieters, Tom Schrijvers)....Pages 133-149
Classes of Arbitrary Kind (Alejandro Serrano, Victor Cacciari Miraldo)....Pages 150-168
Distributed Protocol Combinators (Kristoffer Just Arndal Andersen, Ilya Sergey)....Pages 169-186
Creating Domain-Specific Languages by Composing Syntactical Constructs (Viktor Palmkvist, David Broman)....Pages 187-203
Proof-Carrying Plans (Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, František Farka, Ronald P. A. Petrick, Joe Wells et al.)....Pages 204-220
Static Partitioning of Spreadsheets for Parallel Execution (Alexander Asp Bock)....Pages 221-237
Back Matter ....Pages 239-239
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Bygone Badass Broads: 52 Forgotten Women Who Changed the World
دانلود کتاب [Journal of Astrophysics and Astronomy] Physics of Neutron Stars and Related Objects (Volume 38, Issue 3, September 2017)
دانلود کتاب Handbook of Equine Colic
دانلود کتاب Computational Plasma Physics: With Applications To Fusion And Astrophysics (Frontiers in Physics)
