{"title":"Logikos programavimas","description":"\u003cp\u003e\u003cstrong\u003eLogikos programavimas\u003c\/strong\u003e – šioje kategorijoje rasite 54 knygas. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.\u003c\/p\u003e","products":[{"product_id":"programmable-logic-controllers-9781292040561","title":"Programmable Logic Controllers","description":"\u003cp\u003eDiscover the essential guide to Programmable Logic Controllers with the comprehensive book by James A. Rehg. Published in 2013, this 576-page resource is tailored for courses focusing on Allen\/Bradley programmable logic controllers, making it the perfect choice for students and professionals alike. \u003c\/p\u003e \u003cp\u003eThis text delves into the theory and operation of PLC systems, emphasizing program analysis and development. Written in clear, accessible language, it features numerous illustrations and practical examples to enhance understanding. The book thoroughly covers PLC instructions for Allen-Bradley PLC 5, SLC 500, and Logix processors, with a particular focus on the SLC 500 system. \u003c\/p\u003e \u003cp\u003eWhether you are a novice or an experienced technician, \"Programmable Logic Controllers\" equips you with the knowledge and skills needed to excel in the field of programmable logic devices. Don't miss the opportunity to enhance your expertise with this invaluable resource.\u003c\/p\u003e","brand":"James A. Rehg","offers":[{"title":"Default Title","offer_id":50957295026518,"sku":"9781292040561","price":85.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781292040561.jpg?v=1754039637"},{"product_id":"logic-in-computer-science-9780521543101","title":"Logic in Computer Science","description":"\u003cp\u003eDiscover the essential insights of \u003cstrong\u003eLogic in Computer Science\u003c\/strong\u003e by \u003cstrong\u003eMichael Huth\u003c\/strong\u003e, a comprehensive guide that bridges the gap between formal reasoning and practical applications in modern computer science. This second edition, published in 2004, spans \u003cstrong\u003e440 pages\u003c\/strong\u003e and includes significant enhancements, featuring expanded sections and a wealth of exercises designed to deepen your understanding. With an updated focus on model-checking, this book is invaluable for students and professionals alike who seek a rigorous yet accessible introduction to the mathematical theory of computation and logic programming. Whether you are delving into computer architecture, systems analysis, or software development, Huth's work remains a critical resource in the field of computer science. Enhance your knowledge and skills with this authoritative text that meets the evolving demands of technology.\u003c\/p\u003e","brand":"Michael Huth","offers":[{"title":"Default Title","offer_id":51030141960534,"sku":"9780521543101","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521543101.jpg?v=1754799623"},{"product_id":"programming-logic-and-design-introductory-9781337109635","title":"Programming Logic and Design, Introductory","description":"\u003cp\u003eEmbark on your programming journey with \u003cstrong\u003eProgramming Logic and Design, Introductory\u003c\/strong\u003e by \u003cstrong\u003eJoyce Farrell\u003c\/strong\u003e, published in 2017. This comprehensive guide spans 384 pages and is widely recognized for its effectiveness in foundational programming courses. Farrell’s unique, language-independent approach emphasizes modern conventions, making it an essential resource for both beginners and experienced programmers alike.\u003c\/p\u003e \u003cp\u003eWith a focus on the fundamental principles of structured program logic, this book presents complex concepts in a clear and concise manner, free from technical jargon. Readers will gain a solid understanding of universal programming concepts, setting the stage for success in the world of programming. Whether you're studying for a course or looking to enhance your skills, \u003cstrong\u003eProgramming Logic and Design, Introductory\u003c\/strong\u003e is the ideal companion for mastering the art of programming logic.\u003c\/p\u003e","brand":"Joyce Farrell","offers":[{"title":"Default Title","offer_id":51432309522774,"sku":"9781337109635","price":76.17,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781337109635.jpg?v=1759031223"},{"product_id":"web-reasoning-and-rule-systems-springer-international-publishing-ag-9783319220017-9th-international-conference-rr-2015-berlin-germany-august-4-5-2015-proceedings-balder-ten-cate","title":"Web Reasoning and Rule Systems","description":"\u003cp\u003eDiscover the groundbreaking insights into web reasoning with \"Web Reasoning and Rule Systems,\" authored by Balder ten Cate and published by Springer International Publishing AG in 2015. This engaging book compiles the refereed proceedings from the 9th International Conference on Web Reasoning and Rule Systems, held in Berlin, Germany. Spanning 131 pages, it showcases innovative research contributions from experts across various domains of web reasoning and logic programming. Enhance your understanding of expert systems within computer science through this compelling collection of scholarly work. Whether you are a researcher, academic, or simply keen on advancing your knowledge in this dynamic field, this first edition is a must-have resource. Dive into the latest findings and explore the future of reasoning and rule systems on the web.\u003c\/p\u003e","brand":"Balder ten Cate","offers":[{"title":"Default Title","offer_id":52224327549270,"sku":"9783319220017","price":43.43,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319220017.jpg?v=1767737664"},{"product_id":"time-logic-taylor-francis-ltd-9780367336530-a-computational-approach-leonard-bolc","title":"Time \u0026 Logic","description":"\u003cp\u003eOriginally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.\u003c\/p\u003e","brand":"Leonard Bolc","offers":[{"title":"Default Title","offer_id":52226424701270,"sku":"9780367336530","price":170.75,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367336530.jpg?v=1767740043"},{"product_id":"rules-and-reasoning-springer-international-publishing-ag-9783319612515-international-joint-conference-ruleml-rr-2017-london-uk-july-12-15-2017-proceedings-stefania-costantini","title":"Rules and Reasoning","description":"\u003cp\u003e\"Rules and Reasoning\", authored by Stefania Costantini and published by Springer International Publishing AG in 2017, is an essential read for anyone interested in the intersection of knowledge representation and reasoning. This book comprises the proceedings from the prestigious International Joint Conference on Rules and Reasoning, specifically RuleML+RR 2017, which took place in London, UK, in July 2017. With a total of 239 pages, the first edition showcases cutting-edge research and innovations from two well-established conference series: the International Web Rule Symposium and Web Reasoning and Rule Systems. Dive into this comprehensive collection that brings together experts and practitioners to explore the latest advancements in rule-based reasoning and its applications. Perfect for academics, researchers, and students alike, \"Rules and Reasoning\" offers valuable insights into the evolving landscape of artificial intelligence and logic-based systems.\u003c\/p\u003e","brand":"Stefania Costantini","offers":[{"title":"Default Title","offer_id":52229895848278,"sku":"9783319612515","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319612515.jpg?v=1767745807"},{"product_id":"rules-and-reasoning-springer-nature-switzerland-ag-9783030310943-third-international-joint-conference-ruleml-rr-2019-bolzano-italy-september-16-19-2019-proceedings-paul-fodor","title":"Rules and Reasoning","description":"\u003cp\u003e\u003cstrong\u003eRules and Reasoning\u003c\/strong\u003e by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2019), Paperback, 207 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Semantics, Programming languages (electronic computers), Logic programming, Computer science.\u003c\/p\u003e","brand":"Paul Fodor","offers":[{"title":"Default Title","offer_id":52229896077654,"sku":"9783030310943","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030310943.jpg?v=1767745807"},{"product_id":"reversible-computation-springer-international-publishing-ag-9783319599359-9th-international-conference-rc-2017-kolkata-india-july-6-7-2017-proceedings-iain-phillips","title":"Reversible Computation","description":"\u003cp\u003eDiscover cutting-edge insights in the realm of computer science with \"Reversible Computation\" by Iain Phillips. Published by Springer International Publishing AG in 2017, this engaging paperback edition features 255 pages of thorough research derived from the 9th International Conference on Reversible Computation, held in Kolkata, India. This collection includes 13 full papers and 5 short papers, along with an invited contribution, all meticulously reviewed and selected from a pool of 47 submissions. Dive into topics such as reversible circuit synthesis and expand your understanding of the advancements in reversible computing. Ideal for researchers, practitioners, and anyone keen on exploring innovative computational techniques, this book is a must-have. Don't miss out on the opportunity to deepen your knowledge in this exciting field!\u003c\/p\u003e","brand":"Iain Phillips","offers":[{"title":"Default Title","offer_id":52230362169686,"sku":"9783319599359","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319599359.jpg?v=1767746635"},{"product_id":"recent-advances-in-constraints-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783540738169-11th-annual-ercim-international-workshop-on-constraint-solving-and-constraint-logic-programming-csclp-2006-caparica-portugal-june-26-28-2006-revised-selected-and","title":"Recent Advances in Constraints","description":"\u003cp\u003eExplore the cutting-edge developments in constraint programming with \"Recent Advances in Constraints,\" a definitive collection stemming from the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, held in Caparica, Portugal, in June 2006. Published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG in 2007, this paperback volume spans 188 pages of thoroughly refereed and enhanced works from leading experts in the field.\u003c\/p\u003e \u003cp\u003eThis insightful book delves into essential topics such as global constraints, search and heuristics, as well as language and implementation challenges. Designed for researchers and practitioners alike, it serves as an invaluable resource for anyone looking to deepen their understanding and broaden their capabilities in constraint solving and logic programming. Don't miss your chance to stay at the forefront of this dynamic area of computer science!\u003c\/p\u003e","brand":"Francisco Azevedo","offers":[{"title":"Default Title","offer_id":52230980993366,"sku":"9783540738169","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783540738169.jpg?v=1767747435"},{"product_id":"programming-logic-and-design-cengage-learning-inc-9781111823931-comprehensive-with-videos-printed-access-card-joyce-farrell","title":"Programming Logic and Design","description":"\u003cp\u003eDiscover the essential guide for aspiring programmers with \u003cstrong\u003eProgramming Logic and Design\u003c\/strong\u003e by \u003cstrong\u003eJoyce Farrell\u003c\/strong\u003e. Published by \u003cstrong\u003eCengage Learning\u003c\/strong\u003e in 2010, this comprehensive text spans 720 pages, offering a thorough introduction to structured program logic. Perfect for beginners, this college international edition emphasizes universal programming concepts while promoting good coding practices and logical reasoning. Whether you're looking to build a solid foundation in programming or enhance your skills, this book serves as a valuable resource to help you think critically and develop effective programming solutions. Elevate your programming journey with the insights and strategies found in \u003cstrong\u003eProgramming Logic and Design\u003c\/strong\u003e.\u003c\/p\u003e","brand":"Joyce Farrell","offers":[{"title":"Default Title","offer_id":52231639302486,"sku":"9781111823931","price":124.67,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781111823931.jpg?v=1767748598"},{"product_id":"programming-logic-and-design-cengage-learning-inc-9781111823955-introductory-with-videos-printed-access-card-joyce-farrell","title":"Programming Logic and Design","description":"\u003cp\u003eUnlock the world of programming with \u003cstrong\u003eProgramming Logic and Design\u003c\/strong\u003e by \u003cstrong\u003eJoyce Farrell\u003c\/strong\u003e. Published by \u003cstrong\u003eCengage Learning, Inc\u003c\/strong\u003e in 2010, this comprehensive guide spans 384 pages and is designed specifically for beginning programmers. This international edition introduces universal programming concepts, ensuring a solid foundation in structured program logic.\u003c\/p\u003e \n\n\u003cp\u003eJoyce Farrell emphasizes the importance of good programming style and logical thinking throughout the book, making it an essential resource for anyone looking to develop their coding skills. Whether you're just starting out or looking to refine your understanding of logic design and programming, this book offers valuable insights and practical guidance. Dive into the world of programming with confidence and clarity!\u003c\/p\u003e","brand":"Joyce Farrell","offers":[{"title":"Default Title","offer_id":52231639630166,"sku":"9781111823955","price":111.33,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781111823955.jpg?v=1767748599"},{"product_id":"program-logics-for-certified-compilers-cambridge-university-press-9781107048010-andrew-w-appel","title":"Program Logics for Certified Compilers","description":"\u003cp\u003eDiscover the intricate world of compiler design with \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e by \u003cstrong\u003eAndrew W. Appel\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2014, this comprehensive hardback spans 472 pages and is an essential resource for graduate students delving into the realms of practical and theoretical separation logic.\u003c\/p\u003e \n\n\u003cp\u003eThis book provides an in-depth exploration of verification techniques in Hoare and separation logics, complemented by insightful case studies and the innovative Verifiable C program logic. On the theoretical front, Appel delves into complex topics such as separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C, equipping readers with the knowledge to navigate advanced concepts in logic programming.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student or a professional in the field, \u003cstrong\u003eProgram Logics for Certified Compilers\u003c\/strong\u003e is a pivotal addition to your library, enhancing your understanding of compiler verification and logic.\u003c\/p\u003e","brand":"Andrew W. Appel","offers":[{"title":"Default Title","offer_id":52231643464022,"sku":"9781107048010","price":101.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107048010.jpg?v=1767748605"},{"product_id":"programming-logic-design-comprehensive-cengage-learning-inc-9781337102070-joyce-farrell","title":"Programming Logic \u0026 Design, Comprehensive","description":"\u003cp\u003e\u003cstrong\u003eProgramming Logic \u0026amp; Design, Comprehensive\u003c\/strong\u003e by Joyce Farrell.\u003c\/p\u003e\n\u003cp\u003ePublished by Cengage Learning, (2017), Paperback, 656 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Logic design.\u003c\/p\u003e","brand":"Joyce Farrell","offers":[{"title":"Default Title","offer_id":52231652606294,"sku":"9781337102070","price":88.29,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781337102070.jpg?v=1767748622"},{"product_id":"parallelism-implementation-of-logic-constraint-logic-programming-nova-science-publishers-inc-9781560726739","title":"Parallelism \u0026 Implementation of Logic \u0026 Constraint Logic Programming","description":"\u003cp\u003e\u003cstrong\u003eParallelism \u0026amp; Implementation of Logic \u0026amp; Constraint Logic Programming\u003c\/strong\u003e by Manuel Carro, Enrico Pontelli.\u003c\/p\u003e\n\u003cp\u003ePublished by Nova Science Pub., (1999), Hardback, 351 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Parallel processing (Electronic computers), Constraint programming (Computer science), Constraint programming (computer science).\u003c\/p\u003e","brand":"Nova Science Publishers Inc","offers":[{"title":"Default Title","offer_id":52233102688598,"sku":"9781560726739","price":184.08,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781560726739.jpg?v=1767751160"},{"product_id":"mathematical-aspects-of-logic-programming-semantics-taylor-francis-inc-9781439829615","title":"Mathematical Aspects of Logic Programming Semantics","description":"\u003cp\u003e\u003cstrong\u003eMathematical Aspects of Logic Programming Semantics\u003c\/strong\u003e by Anthony Seda.\u003c\/p\u003e\n\u003cp\u003ePublished by CRC Press, (2010), Hardback, 304 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Programming languages (electronic computers), Prolog (computer program language), Programming languages (Electronic computers).\u003c\/p\u003e","brand":"Pascal Hitzler","offers":[{"title":"Default Title","offer_id":52235630903638,"sku":"9781439829615","price":255.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781439829615.jpg?v=1767755791"},{"product_id":"mathematical-aspects-of-logic-programming-semantics-taylor-francis-ltd-9781138114227-pascal-hitzler","title":"Mathematical Aspects of Logic Programming Semantics","description":"\u003cp\u003e\u003cstrong\u003eMathematical Aspects of Logic Programming Semantics\u003c\/strong\u003e by Anthony Seda.\u003c\/p\u003e\n\u003cp\u003ePublished by Taylor \u0026amp; Francis Group, (2017), Paperback, 304 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Programming languages (electronic computers), Prolog (computer program language), Programming languages (Electronic computers).\u003c\/p\u003e","brand":"Pascal Hitzler","offers":[{"title":"Default Title","offer_id":52235974345046,"sku":"9781138114227","price":94.35,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138114227.jpg?v=1767756375"},{"product_id":"logic-based-program-synthesis-and-transformation-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783642381966-22nd-international-symposium-lopstr-2012-leuven-belgium-september-18-20-2012-revised-selected-papers-elvira-albert","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the innovative world of program synthesis with \u003cstrong\u003eLogic-Based Program Synthesis and Transformation\u003c\/strong\u003e by \u003cstrong\u003eElvira Albert\u003c\/strong\u003e. This insightful book is the thoroughly refereed post-conference proceedings from the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012), held in Leuven, Belgium in September 2012. Published by \u003cstrong\u003eSpringer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG\u003c\/strong\u003e in 2013, this edition spans \u003cstrong\u003e245 pages\u003c\/strong\u003e of cutting-edge research and discussions in the field. Ideal for researchers, practitioners, and students interested in logic programming, this book provides a comprehensive overview of the latest advancements and methodologies in program synthesis and transformation. Enhance your understanding and stay updated with the essential concepts that shape this dynamic area of computer science.\u003c\/p\u003e","brand":"Elvira Albert","offers":[{"title":"Default Title","offer_id":52236359762262,"sku":"9783642381966","price":51.92,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783642381966.jpg?v=1767757040"},{"product_id":"logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319178219-24th-international-symposium-lopstr-2014-canterbury-uk-september-9-11-2014-revised-selected-papers-maurizio-proietti","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the intricacies of program synthesis and transformation in \"Logic-Based Program Synthesis and Transformation\" by Maurizio Proietti. Published by Springer International Publishing AG in 2015, this comprehensive paperback edition spans 333 pages and delves into essential themes such as program analysis and transformation, constraint handling rules, termination analysis, security, and program testing and verification.\u003c\/p\u003e \n\n\u003cp\u003eThis book serves as a vital resource for those interested in the fields of logic programming and optimization. Proietti expertly organizes the content into thematic tracks, ensuring a structured approach to complex topics like program synthesis, program derivation, and semantic issues in logic programming. Whether you are a student, researcher, or professional in the field, this book is designed to enhance your understanding of the latest methodologies and practices in program transformation.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your library with this essential text that bridges theoretical concepts and practical applications in logic-based programming.\u003c\/p\u003e","brand":"Maurizio Proietti","offers":[{"title":"Default Title","offer_id":52236359958870,"sku":"9783319178219","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319178219.jpg?v=1767757041"},{"product_id":"logic-programming-and-nonmonotonic-reasoning-springer-nature-switzerland-ag-9783030205270-15th-international-conference-lpnmr-2019-philadelphia-pa-usa-june-3-7-2019-proceedings-marcello-balduccini","title":"Logic Programming and Nonmonotonic Reasoning","description":"\u003cp\u003e\u003cstrong\u003eLogic Programming and Nonmonotonic Reasoning\u003c\/strong\u003e by Marcello Balduccini, Tomi Janhunen.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2019), Paperback, 348 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Reasoning.\u003c\/p\u003e","brand":"Marcello Balduccini","offers":[{"title":"Default Title","offer_id":52236360745302,"sku":"9783030205270","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030205270.jpg?v=1767757041"},{"product_id":"logic-based-program-synthesis-and-transformation-springer-international-publishing-ag-9783319274355-25th-international-symposium-lopstr-2015-siena-italy-july-13-15-2015-revised-selected-papers-moreno-falaschi","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Logic-Based Program Synthesis and Transformation,\" authored by Moreno Falaschi. Published by Springer International Publishing AG in 2015, this first edition spans 385 pages and offers a comprehensive exploration of the latest advancements in the field. This book presents the thoroughly refereed post-conference proceedings from the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), which took place in Siena, Italy. Within its pages, you will find 21 meticulously revised full papers alongside 3 invited talks, all selected from a competitive pool of 30 submissions. This essential resource is perfect for researchers, practitioners, and students eager to delve into the innovative techniques and methodologies shaping logic-based programming today. Enhance your understanding and stay ahead in the rapidly evolving landscape of program synthesis and transformation.\u003c\/p\u003e","brand":"Moreno Falaschi","offers":[{"title":"Default Title","offer_id":52236360778070,"sku":"9783319274355","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319274355.jpg?v=1767757044"},{"product_id":"logic-programming-and-nonmonotonic-reasoning-springer-international-publishing-ag-9783319232638-13th-international-conference-lpnmr-2015-lexington-ky-usa-september-27-30-2015-proceedings-francesco-calimeri","title":"Logic Programming and Nonmonotonic Reasoning","description":"\u003cp\u003eDiscover the intricate world of logic programming with \"Logic Programming and Nonmonotonic Reasoning\" by Francesco Calimeri. This comprehensive volume features the refereed proceedings from the 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015), which took place in September 2015 in Lexington, KY, USA. Published by Springer International Publishing AG, this first edition spans 574 pages, making it an essential resource for researchers and practitioners in the field. Dive into the latest developments and methodologies in logic programming and reasoning, and enhance your knowledge with insights from leading experts. Perfect for those looking to deepen their understanding of nonmonotonic reasoning, this book is a must-have addition to your academic library.\u003c\/p\u003e","brand":"Francesco Calimeri","offers":[{"title":"Default Title","offer_id":52236360974678,"sku":"9783319232638","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319232638.jpg?v=1767757041"},{"product_id":"logic-programming-nova-science-publishers-inc-9781631178535-theory-practices-and-challenges","title":"Logic Programming","description":"\u003cp\u003e\u003cstrong\u003eLogic Programming\u003c\/strong\u003e.\u003c\/p\u003e\n\u003cp\u003ePublished by Nova Science Pub Inc, (2014), Paperback, 103 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming.\u003c\/p\u003e","brand":"Marcus J Lambert","offers":[{"title":"Default Title","offer_id":52236361138518,"sku":"9781631178535","price":141.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781631178535.jpg?v=1767757042"},{"product_id":"logic-programming-and-nonmonotonic-reasoning-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783540721994-9th-international-conference-lpnmr-2007-tempe-az-usa-may-15-17-2007-proceedings-lpnmr-2007-2007-tempe-ariz","title":"Logic Programming and Nonmonotonic Reasoning","description":"\u003cp\u003eDiscover the cutting-edge insights of \"Logic Programming and Nonmonotonic Reasoning,\" a comprehensive collection of research from the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007. Published by Springer-Verlag Berlin and Heidelberg GmbH \u0026amp; Co. KG in 2007, this paperback edition spans 327 pages and features a meticulously curated selection of 18 revised full papers, 5 revised poster papers, and 7 system descriptions, alongside 2 invited papers. Each contribution has been rigorously reviewed and selected for its relevance and impact in the field. This book is an essential resource for researchers and practitioners interested in the latest developments in logic programming and nonmonotonic reasoning. Enhance your understanding of these crucial topics and stay ahead in your studies or professional work with this valuable collection.\u003c\/p\u003e","brand":"Chitta Baral","offers":[{"title":"Default Title","offer_id":52236361269590,"sku":"9783540721994","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783540721994.jpg?v=1767757043"},{"product_id":"logical-frameworks-cambridge-university-press-9780521413008","title":"Logical Frameworks","description":"\u003cp\u003eDiscover the foundational insights of formal logic with \u003cstrong\u003eLogical Frameworks\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 1991. This comprehensive volume captures the proceedings of the inaugural international workshop dedicated to the exploration of logical frameworks. Spanning an impressive \u003cstrong\u003e416 pages\u003c\/strong\u003e, this hardback edition is an essential resource for scholars, researchers, and enthusiasts of logic and computer science. Delve into the cutting-edge discussions and innovative ideas presented by leading experts in the field. Enhance your understanding of logical structures and their applications in various domains. Perfect for academic libraries or personal collections, \u003cstrong\u003eLogical Frameworks\u003c\/strong\u003e is a must-have for anyone interested in the advancement of logical theory.\u003c\/p\u003e","brand":"Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) Huet","offers":[{"title":"Default Title","offer_id":52236716802390,"sku":"9780521413008","price":110.12,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521413008.jpg?v=1767757623"},{"product_id":"logic-programming-cambridge-university-press-9780521607544-operational-semantics-and-proof-theory-james-h-andrews","title":"Logic Programming","description":"\u003cp\u003eDiscover the foundational concepts of logic programming with \u003cstrong\u003eLogic Programming\u003c\/strong\u003e by James H. Andrews, published by Cambridge University Press in 2004. This insightful book spans 120 pages and offers a comprehensive exploration of the semantics of both theoretical and practical logic programming languages. It serves as an essential resource for researchers and practitioners alike, delving into critical ideas that shape the field of logic programming and its applications in artificial intelligence search strategies. Whether you're a seasoned programmer or a curious learner, this book provides valuable insights and a uniform treatment of the subject, making it a must-have addition to your library. Enhance your understanding of programming languages and their mathematical theories with this authoritative text.\u003c\/p\u003e","brand":"James H. Andrews","offers":[{"title":"Default Title","offer_id":52236722536790,"sku":"9780521607544","price":47.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521607544.jpg?v=1767757632"},{"product_id":"logic-of-typed-feature-structures-cambridge-university-press-9780521022545-with-applications-to-unification-grammars-logic-programs-and-constraint-resolution-robert-l-carpenter","title":"Logic of Typed Feature Structures","description":"\u003cp\u003eDiscover the groundbreaking insights in \u003cstrong\u003eLogic of Typed Feature Structures\u003c\/strong\u003e by \u003cstrong\u003eRobert L. Carpenter\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2005. This comprehensive 280-page volume delves into the theory of typed feature structures, an innovative data structure that extends the capabilities of both first-order terms and feature structures found in unification-based grammars. Carpenter's work introduces essential concepts such as inheritance, typing, inequality, cycles, and intensionality, providing a robust logical foundation for grammars, logic programming, and constraint-based reasoning systems. Ideal for computer science enthusiasts and professionals alike, this book is a must-have for those interested in data modeling, programming, and logic design. Enhance your understanding of complex data structures and their applications in modern computing with this essential resource.\u003c\/p\u003e","brand":"Robert L. Carpenter","offers":[{"title":"Default Title","offer_id":52236722667862,"sku":"9780521022545","price":55.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521022545.jpg?v=1767757635"},{"product_id":"logic-and-declarative-language-taylor-francis-ltd-9780748408023","title":"Logic And Declarative Language","description":"\u003cp\u003eAn accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.\u003c\/p\u003e","brand":"M. Downward","offers":[{"title":"Default Title","offer_id":52236732793174,"sku":"9780748408023","price":51.92,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780748408023.jpg?v=1767757646"},{"product_id":"logic-and-declarative-language-taylor-francis-ltd-9780748408030","title":"Logic And Declarative Language","description":"\u003cp\u003eAn accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.\u003c\/p\u003e","brand":"M. Downward","offers":[{"title":"Default Title","offer_id":52236732957014,"sku":"9780748408030","price":188.94,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780748408030.jpg?v=1767757645"},{"product_id":"little-typer-mit-press-ltd-9780262536431-daniel-p-friedman","title":"Little Typer","description":"\u003cp\u003e\u003cstrong\u003eLittle Typer\u003c\/strong\u003e by Daniel P. Friedman, David Thrane Christiansen.\u003c\/p\u003e\n\u003cp\u003ePublished by The MIT Press, (2018), Paperback, 424 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Functional programming (computer science), Logic programming.\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":52236845515094,"sku":"9780262536431","price":64.05,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262536431.jpg?v=1767757809"},{"product_id":"latest-advances-in-inductive-logic-programming-imperial-college-press-9781783265084-stephen-muggleton","title":"Latest Advances In Inductive Logic Programming","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Latest Advances In Inductive Logic Programming,\" authored by Stephen Muggleton and published by Imperial College Press in 2014. This hardback edition spans 264 pages and features a curated collection of papers presented at the prestigious Inductive Logic Programming (ILP) workshop held at Cumberland Lodge, Great Windsor Park.\u003c\/p\u003e \u003cp\u003eDive into the world of induction logic and machine learning, as this book showcases the latest research and advancements in the field. Whether you are a student, researcher, or professional in logic programming, this comprehensive volume will enhance your understanding of ILP and its applications. Don't miss the opportunity to explore the forefront of logic and machine learning with this essential resource.\u003c\/p\u003e","brand":"Stephen Muggleton","offers":[{"title":"Default Title","offer_id":52237111525718,"sku":"9781783265084","price":99.21,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781783265084.jpg?v=1767758216"},{"product_id":"just-enough-programming-logic-and-design-cengage-learning-inc-9781111825959-joyce-farrell","title":"Just Enough Programming Logic and Design","description":"\u003cp\u003e\u003cstrong\u003eJust Enough Programming Logic and Design\u003c\/strong\u003e by Joyce Farrell.\u003c\/p\u003e\n\u003cp\u003ePublished by Course Technology, (2012), Paperback, 312 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming.\u003c\/p\u003e","brand":"Joyce Farrell","offers":[{"title":"Default Title","offer_id":52237987938646,"sku":"9781111825959","price":105.27,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781111825959.jpg?v=1767759782"},{"product_id":"inductive-logic-programming-springer-international-publishing-ag-9783319633411-26th-international-conference-ilp-2016-london-uk-september-4-6-2016-revised-selected-papers-james-cussens","title":"Inductive Logic Programming","description":"\u003cp\u003e\"Inductive Logic Programming,\" authored by James Cussens, is an essential read for anyone interested in the field of machine learning and artificial intelligence. Published by Springer International Publishing AG in 2017, this first edition features 133 pages of meticulously curated content. The book presents the thoroughly refereed post-conference proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016), which took place in London, UK, in September 2016. Within its pages, you will find 10 full papers that have been carefully reviewed and selected from a competitive pool of 29 submissions. This collection not only showcases the latest advancements in inductive logic programming but also provides valuable insights for researchers and practitioners alike. Whether you are a seasoned expert or a newcomer to the field, this book is a valuable addition to your library.\u003c\/p\u003e","brand":"James Cussens","offers":[{"title":"Default Title","offer_id":52238927167830,"sku":"9783319633411","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319633411.jpg?v=1767760899"},{"product_id":"inductive-logic-programming-springer-international-publishing-ag-9783319780894-27th-international-conference-ilp-2017-orleans-france-september-4-6-2017-revised-selected-papers","title":"Inductive Logic Programming","description":"\u003cp\u003e\u003cstrong\u003eInductive Logic Programming\u003c\/strong\u003e.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2018), Paperback, 185 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming.\u003c\/p\u003e","brand":"Nicolas Lachiche","offers":[{"title":"Default Title","offer_id":52238927266134,"sku":"9783319780894","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319780894.jpg?v=1767760897"},{"product_id":"inductive-logic-programming-springer-international-publishing-ag-9783319405650-25th-international-conference-ilp-2015-kyoto-japan-august-20-22-2015-revised-selected-papers-katsumi-inoue","title":"Inductive Logic Programming","description":"\u003cp\u003e\u003cstrong\u003eInductive Logic Programming\u003c\/strong\u003e by Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 215 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Machine learning, Induction (logic).\u003c\/p\u003e","brand":"Katsumi Inoue","offers":[{"title":"Default Title","offer_id":52238927298902,"sku":"9783319405650","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319405650.jpg?v=1767760900"},{"product_id":"inductive-logic-programming-springer-international-publishing-ag-9783319237077-24th-international-conference-ilp-2014-nancy-france-september-14-16-2014-revised-selected-papers-jesse-davis","title":"Inductive Logic Programming","description":"\u003cp\u003eDiscover the insights of \"Inductive Logic Programming,\" authored by Jesse Davis and published by Springer International Publishing AG in 2015. This comprehensive volume comprises the thoroughly refereed post-conference proceedings from the 24th International Conference on Inductive Logic Programming (ILP 2014), held in Nancy, France. Inside its 211 pages, you will find 14 meticulously revised papers, selected from a competitive pool of 41 submissions, showcasing the latest advancements and research in the field of inductive logic programming. This first edition is an essential read for researchers and practitioners alike, offering valuable perspectives and innovative methodologies. Enhance your understanding of this dynamic area of study with this authoritative text.\u003c\/p\u003e","brand":"Jesse Davis","offers":[{"title":"Default Title","offer_id":52238927659350,"sku":"9783319237077","price":49.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319237077.jpg?v=1767760900"},{"product_id":"fuzzy-logic-for-beginners-world-scientific-publishing-co-pte-ltd-9789810245344","title":"Fuzzy Logic For Beginners","description":"\u003cp\u003eDiscover the intriguing world of fuzzy logic with \u003cstrong\u003eFuzzy Logic For Beginners\u003c\/strong\u003e by World Scientific Publishing Co Pte Ltd. Published in 2001, this engaging paperback spans 116 pages, making it an accessible introduction for anyone interested in the concepts of fuzziness and its practical applications. This book aims to demystify fuzzy logic, providing readers with a clear understanding of what fuzziness entails and how it can be effectively applied to solve real-world problems. Whether you are a novice or someone looking to enhance your knowledge, this book serves as a perfect starting point. Dive into the fascinating realm of fuzzy logic and unlock new perspectives on problem-solving!\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52242790416726,"sku":"9789810245344","price":28.89,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789810245344.jpg?v=1767765525"},{"product_id":"functional-and-logic-programming-springer-international-publishing-ag-9783319296036-13th-international-symposium-flops-2016-kochi-japan-march-4-6-2016-proceedings-oleg-kiselyov","title":"Functional and Logic Programming","description":"\u003cp\u003eDiscover the cutting-edge insights of \"Functional and Logic Programming,\" authored by Oleg Kiselyov and published by Springer International Publishing AG in 2016. This first edition, comprising 253 pages, presents the proceedings of the 13th International Symposium on Functional and Logic Programming (FLOPS 2016), which took place in Kochi, Japan, in March 2016. Within this volume, you will find 14 meticulously reviewed papers selected from a competitive pool of 36 submissions. These papers delve into various topics surrounding functional and logic programming, making this book an essential resource for researchers and practitioners alike. Enhance your understanding of this dynamic field with the latest findings and methodologies from leading experts. Perfect for anyone looking to deepen their knowledge in programming paradigms, this book is a valuable addition to your collection.\u003c\/p\u003e","brand":"Oleg Kiselyov","offers":[{"title":"Default Title","offer_id":52242908447062,"sku":"9783319296036","price":49.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319296036.jpg?v=1767765686"},{"product_id":"foundations-of-probabilistic-logic-programming-river-publishers-9788770227193-languages-semantics-inference-and-learning-fabrizio-riguzzi","title":"Foundations of Probabilistic Logic Programming","description":"\u003cp\u003eDiscover the intricate world of probabilistic logic programming with \u003cstrong\u003eFoundations of Probabilistic Logic Programming\u003c\/strong\u003e by \u003cstrong\u003eFabrizio Riguzzi\u003c\/strong\u003e, published by River Publishers in 2023. This comprehensive second edition spans 506 pages and offers an in-depth exploration of languages governed by distribution semantics. Riguzzi meticulously outlines the fundamental concepts of semantics, inference, and learning, making complex ideas accessible to readers. The book also emphasizes the connections between various methodologies, providing a holistic understanding of the subject. Whether you're a student, researcher, or professional in mathematics, this engaging text is an essential addition to your library. Enhance your knowledge and skills in probabilistic logic programming today!\u003c\/p\u003e","brand":"Fabrizio Riguzzi","offers":[{"title":"Default Title","offer_id":52243183829334,"sku":"9788770227193","price":140.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9788770227193.jpg?v=1767766145"},{"product_id":"extension-innovation-method-taylor-francis-ltd-9781138367210-chunyan-yang","title":"Extension Innovation Method","description":"\u003cp\u003eThis book introduces and analyzes commonly used extension innovation methods are introduced and analyzed thoroughly. It makes it easy for readers at different levels and of different knowledge backgrounds to study. Highly accessible cases faciliate understanding and application of the models.\u003c\/p\u003e","brand":"Chunyan Yang","offers":[{"title":"Default Title","offer_id":52244010238294,"sku":"9781138367210","price":225.31,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138367210.jpg?v=1767767462"},{"product_id":"constraint-handling-rules-cambridge-university-press-9780521877763-thom-fr-hwirth","title":"Constraint Handling Rules","description":"\u003cp\u003eDiscover the innovative world of \u003cstrong\u003eConstraint Handling Rules\u003c\/strong\u003e by \u003cstrong\u003eThom Frühwirth\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2009. This comprehensive hardback spans \u003cstrong\u003e320 pages\u003c\/strong\u003e and serves as both a specialized language for rule-based programming and a versatile tool for computational logic.\u003c\/p\u003e \n\n\u003cp\u003eIn this definitive reference, Frühwirth, the creator of CHR, delves into the underlying theory while providing practical insights on its application. Whether you're a seasoned programmer or a newcomer to declarative and logic programming, this book is an essential resource for understanding and leveraging the power of CHR in your projects.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your programming skills and expand your knowledge with this authoritative guide that bridges the gap between theory and practice in constraint programming.\u003c\/p\u003e","brand":"Thom Frühwirth","offers":[{"title":"Default Title","offer_id":52248644387158,"sku":"9780521877763","price":62.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521877763.jpg?v=1767774779"},{"product_id":"automated-reasoning-springer-international-publishing-ag-9783319402284-8th-international-joint-conference-ijcar-2016-coimbra-portugal-june-27-july-2-2016-proceedings-nicola-olivetti","title":"Automated Reasoning","description":"\u003cp\u003e\u003cstrong\u003eAutomated Reasoning\u003c\/strong\u003e by Nicola Olivetti, Ashish Tiwari.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2016), Paperback, 580 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Artificial intelligence, Logic programming.\u003c\/p\u003e","brand":"Nicola Olivetti","offers":[{"title":"Default Title","offer_id":52251450179926,"sku":"9783319402284","price":85.87,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319402284.jpg?v=1767778986"},{"product_id":"advances-in-knowledge-representation-logic-programming-and-abstract-argumentation-springer-international-publishing-ag-9783319147253-essays-dedicated-to-gerhard-brewka-on-the-occasion-of-his-60th-birthday-thomas-eiter","title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","description":"\u003cp\u003eCelebrate the influential contributions of Gerhard Brewka with the Festschrift titled \u003cstrong\u003eAdvances in Knowledge Representation, Logic Programming, and Abstract Argumentation\u003c\/strong\u003e, edited by Thomas Eiter. This 2015 edition, published by Springer International Publishing AG, features a collection of insightful articles that showcase the diverse fields of Gerd's academic work. With 361 pages of rich content, this paperback serves as a testament to Brewka's impact on the domains of knowledge representation and logic programming. Ideal for researchers and enthusiasts alike, this book not only honors a remarkable scholar but also delves into cutting-edge advancements in abstract argumentation. Don't miss the opportunity to explore this essential addition to your academic library!\u003c\/p\u003e","brand":"Thomas Eiter","offers":[{"title":"Default Title","offer_id":52253014196566,"sku":"9783319147253","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319147253.jpg?v=1767781320"},{"product_id":"advances-in-logic-programming-theory-oxford-university-press-9780198538530-giorgio-levi","title":"Advances in Logic Programming Theory","description":"\u003cp\u003eExplore the cutting-edge developments in the realm of logic programming with \u003cstrong\u003eAdvances in Logic Programming Theory\u003c\/strong\u003e by \u003cstrong\u003eGiorgio Levi\u003c\/strong\u003e. Published by \u003cstrong\u003eOxford University Press\u003c\/strong\u003e in 1994, this hardback edition spans \u003cstrong\u003e268 pages\u003c\/strong\u003e and compiles the latest research from presentations at an international summer school. This collection of papers offers a unique and accessible pathway into the innovative aspects of logic programming, extending well beyond classical theories. Dive into a systematic exploration of contemporary advancements in this programming paradigm, making it an essential read for both seasoned professionals and newcomers interested in the future of logic programming. Enhance your understanding and stay ahead in this dynamic field with this insightful volume.\u003c\/p\u003e","brand":"Giorgio Levi","offers":[{"title":"Default Title","offer_id":52254022369622,"sku":"9780198538530","price":175.35,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780198538530.jpg?v=1767782766"},{"product_id":"time-logic-taylor-francis-ltd-9780367336578-a-computational-approach-leonard-bolc","title":"Time \u0026 Logic","description":"\u003cp\u003eOriginally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications.\u003c\/p\u003e","brand":"Leonard Bolc","offers":[{"title":"Default Title","offer_id":52256969523542,"sku":"9780367336578","price":45.85,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780367336578.jpg?v=1767786847"},{"product_id":"rules-and-reasoning-springer-international-publishing-ag-9783031724060-8th-international-joint-conference-ruleml-rr-2024-bucharest-romania-september-16-18-2024-proceedings-sabrina-kirrane","title":"Rules and Reasoning","description":"\u003cp\u003e\u003cstrong\u003eRules and Reasoning\u003c\/strong\u003e by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2024), Paperback, 250 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Semantics, Programming languages (electronic computers), Logic programming, Computer science.\u003c\/p\u003e","brand":"Sabrina Kirrane","offers":[{"title":"Default Title","offer_id":52257789509974,"sku":"9783031724060","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031724060.jpg?v=1767787961"},{"product_id":"rules-and-reasoning-springer-nature-switzerland-ag-9783030911669-5th-international-joint-conference-ruleml-rr-2021-leuven-belgium-september-13-15-2021-proceedings-sotiris-moschoyiannis","title":"Rules and Reasoning","description":"\u003cp\u003e\u003cstrong\u003eRules and Reasoning\u003c\/strong\u003e by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2021), Paperback, 285 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Semantics, Programming languages (electronic computers), Logic programming, Computer science.\u003c\/p\u003e","brand":"Sotiris Moschoyiannis","offers":[{"title":"Default Title","offer_id":52261204132182,"sku":"9783030911669","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030911669.jpg?v=1767792268"},{"product_id":"rules-and-reasoning-springer-international-publishing-ag-9783031450716-7th-international-joint-conference-ruleml-rr-2023-oslo-norway-september-18-20-2023-proceedings-anna-fensel","title":"Rules and Reasoning","description":"\u003cp\u003eDiscover the groundbreaking insights in \"Rules and Reasoning,\" authored by Anna Fensel and published by Springer International Publishing AG in 2023. This first edition features 255 pages of meticulously curated content from the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, from September 18–20, 2023. Within this collection, you will find 13 comprehensive full papers and 3 concise short papers, all rigorously reviewed and selected from 46 submissions. This book is an essential resource for researchers and practitioners interested in the latest advancements in reasoning and rules. Enhance your understanding of this dynamic field with expert contributions that push the boundaries of knowledge and innovation.\u003c\/p\u003e","brand":"Anna Fensel","offers":[{"title":"Default Title","offer_id":52261204853078,"sku":"9783031450716","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031450716.jpg?v=1767792268"},{"product_id":"rules-and-reasoning-springer-nature-switzerland-ag-9783030579760-4th-international-joint-conference-ruleml-rr-2020-oslo-norway-june-29-july-1-2020-proceedings-v-ctor-guti-rrez-basulto","title":"Rules and Reasoning","description":"\u003cp\u003e\u003cstrong\u003eRules and Reasoning\u003c\/strong\u003e by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2020), Paperback, 187 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Semantics, Programming languages (electronic computers), Logic programming, Computer science.\u003c\/p\u003e","brand":"Víctor Gutiérrez-Basulto","offers":[{"title":"Default Title","offer_id":52261205279062,"sku":"9783030579760","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030579760.jpg?v=1767792271"},{"product_id":"quantitative-logic-and-soft-computing-proceedings-of-the-ql-sc-2012-world-scientific-publishing-co-pte-ltd-9789814401524-guojun-wang","title":"Quantitative Logic And Soft Computing - Proceedings Of The Ql\u0026sc 2012","description":"\u003cp\u003eDiscover the cutting-edge insights of the field of soft computing with \"Quantitative Logic And Soft Computing - Proceedings Of The QL\u0026amp;SC 2012,\" authored by Guojun Wang and published by World Scientific Publishing Co Pte Ltd. This comprehensive hardback edition spans 724 pages and serves as a vital resource for scientists and practitioners globally, showcasing the latest research, innovative ideas, and practical applications in quantitative logic, many-valued logic, and fuzzy logic.\u003c\/p\u003e \n\n\u003cp\u003eThis volume not only introduces readers to the fundamentals of fuzzy reasoning but also delves into the advancements in intelligent control systems and logic programming. Whether you're a seasoned expert or new to the field, this book is an essential addition to your library, offering valuable knowledge and insights into the dynamic world of soft computing.\u003c\/p\u003e","brand":"Guojun Wang","offers":[{"title":"Default Title","offer_id":52263009255766,"sku":"9789814401524","price":279.88,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789814401524.jpg?v=1767794651"},{"product_id":"proof-and-computation-digitization-in-mathematics-computer-science-and-philosophy-world-scientific-publishing-co-pte-ltd-9789813270930-klaus-mainzer","title":"Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy","description":"\u003cp\u003e\u003cstrong\u003eProof And Computation: Digitization In Mathematics, Computer Science, And Philosophy\u003c\/strong\u003e by Helmut Schwichtenberg.\u003c\/p\u003e\n\u003cp\u003ePublished by World Scientific Publishing Co Pte Ltd, (2018), Hardback, 300 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Logic programming, Logic, symbolic and mathematical.\u003c\/p\u003e","brand":"Klaus Mainzer","offers":[{"title":"Default Title","offer_id":52263323697494,"sku":"9789813270930","price":122.25,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789813270930.jpg?v=1767795071"}],"url":"https:\/\/www.bookshop.lt\/collections\/logikos-programavimas.oembed","provider":"Bookshop","version":"1.0","type":"link"}