{"title":"Sergei Artemov","description":null,"products":[{"product_id":"logical-foundations-of-computer-science-springer-international-publishing-ag-9783319276823-international-symposium-lfcs-2016-deerfield-beach-fl-usa-january-4-7-2016-proceedings-sergei-artemov","title":"Logical Foundations of Computer Science","description":"\u003cp\u003eDiscover the essential insights into the logical foundations of computer science with \"Logical Foundations of Computer Science\" by Sergei Artemov. This comprehensive volume, published by Springer International Publishing AG in 2015, compiles the refereed proceedings of the prestigious International Symposium on Logical Foundations of Computer Science (LFCS 2016), held in Deerfield Beach, FL, USA. Spanning 407 pages, this first edition explores critical topics such as domain theory logics, the logical underpinnings of database theory, intelligent and multiple-agent system logics, distributed system logics, and system design logics. Perfect for researchers, students, and professionals in the field, this book offers a thorough examination of the principles that guide modern computer science. Enhance your understanding of these foundational concepts and their applications in technology today.\u003c\/p\u003e","brand":"Sergei Artemov","offers":[{"title":"Default Title","offer_id":52236358615382,"sku":"9783319276823","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319276823.jpg?v=1767757037"},{"product_id":"logical-foundations-of-computer-science-springer-nature-switzerland-ag-9783030367541-international-symposium-lfcs-2020-deerfield-beach-fl-usa-january-4-7-2020-proceedings-sergei-artemov","title":"Logical Foundations of Computer Science","description":"\u003cp\u003eDiscover the essential insights into the Logical Foundations of Computer Science with this comprehensive volume by Sergei Artemov, published by Springer Nature Switzerland AG in 2019. This book presents the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, which took place in Deerfield Beach, FL, USA. Spanning 287 pages, this edition delves into critical topics such as domain theory logics, logical foundations of database theory, intelligent and multiple-agent system logics, and distributed system logics. Ideal for researchers and practitioners alike, this work provides a solid foundation for understanding the logical underpinnings of various computer science domains. Enhance your knowledge and explore the intricate connections between logic and computer science with this authoritative text.\u003c\/p\u003e","brand":"Sergei Artemov","offers":[{"title":"Default Title","offer_id":52236358713686,"sku":"9783030367541","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030367541.jpg?v=1767757038"},{"product_id":"justification-logic-cambridge-university-press-9781108424912-reasoning-with-reasons-sergei-artemov","title":"Justification Logic","description":"\u003cp\u003eDiscover the groundbreaking work of Sergei Artemov in \u003cstrong\u003eJustification Logic\u003c\/strong\u003e, published by Cambridge University Press in 2019. This hardback edition spans 268 pages and offers a comprehensive exploration of justification logic, a pivotal theory of reasoning that meticulously tracks the evidence behind statements. Artemov presents a systematic and modern account of this innovative framework, making it an essential read for scholars and practitioners across various fields, including logic, knowledge, and reasoning sciences. Whether you are a student, researcher, or simply curious about the dynamics of assertions and their reliability, this book is designed to engage and inform. Dive into the world of symbolic and mathematical reasoning with Artemov's insightful analysis and enhance your understanding of the foundations of logical thought.\u003c\/p\u003e","brand":"Sergei Artemov","offers":[{"title":"Default Title","offer_id":52237960872278,"sku":"9781108424912","price":139.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781108424912.jpg?v=1767759735"},{"product_id":"logical-foundations-of-computer-science-springer-nature-switzerland-ag-9783030930998-international-symposium-lfcs-2022-deerfield-beach-fl-usa-january-10-13-2022-proceedings-sergei-artemov","title":"Logical Foundations of Computer Science","description":"\u003cp\u003eDiscover the essential insights into the realm of computer science with \"Logical Foundations of Computer Science\" by Sergei Artemov. Published by Springer Nature Switzerland AG in 2021, this first edition spans 377 pages and presents the refereed proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS 2022), held in Deerfield Beach, FL, USA. This comprehensive volume features 23 meticulously revised full papers, selected from an impressive 35 submissions, covering vital topics such as domain theory and the logical foundations of database theory. Ideal for researchers, students, and professionals, this book provides a critical examination of the logical structures underpinning computer science, making it a valuable addition to any academic library. Dive into the logical foundations that shape the future of technology today!\u003c\/p\u003e","brand":"Sergei Artemov","offers":[{"title":"Default Title","offer_id":52269782040918,"sku":"9783030930998","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030930998.jpg?v=1767803597"}],"url":"https:\/\/www.englishbook.fi\/collections\/sergei-artemov.oembed","provider":"Bookshop","version":"1.0","type":"link"}