{"title":"Automatinis teoremų įrodymas","description":"\u003cp\u003e\u003cstrong\u003eAutomatinis teoremų įrodymas\u003c\/strong\u003e – šioje kategorijoje rasite 20 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.\u003c\/p\u003e","products":[{"product_id":"little-prover-9780262527958","title":"Little Prover","description":"\u003cp\u003eDiscover the fascinating world of computer program proofs with \u003cstrong\u003eLittle Prover\u003c\/strong\u003e by \u003cstrong\u003eDaniel P. Friedman\u003c\/strong\u003e. Published in 2015, this insightful book spans 248 pages and serves as an essential introduction to writing proofs about computer programs. Designed in an engaging question-and-answer format, \u003cstrong\u003eLittle Prover\u003c\/strong\u003e guides you through the intricacies of inductive proofs, providing clear step-by-step examples and a straightforward proof assistant to enhance your learning experience.\u003c\/p\u003e \u003cp\u003eWith its approachable style and the signature humor reminiscent of \u003cem\u003eThe Little Schemer\u003c\/em\u003e, this book makes complex concepts accessible and enjoyable. Whether you’re a student or a professional looking to deepen your understanding of automatic theorem proving and Lisp programming, \u003cstrong\u003eLittle Prover\u003c\/strong\u003e is the perfect resource to help you master the art of proof writing. Dive into this captivating read and elevate your programming skills today!\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":50922382426454,"sku":"9780262527958","price":53.14,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262527958.jpg?v=1753799609"},{"product_id":"tableau-tableauresolution-und-tableaugraphresolution-peter-lang-gmbh-internationaler-verlag-der-wissenschaften-9783631440018-ein-neuer-weg-zur-automatischen-deduktion","title":"Tableau, Tableauresolution und Tableaugraphresolution","description":"\u003cp\u003e\u003cstrong\u003eTableau, Tableauresolution und Tableaugraphresolution\u003c\/strong\u003e by Wanlin Li.\u003c\/p\u003e\n\u003cp\u003ePublished by P. Lang, (1991), Paperback, 107 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52227264512342,"sku":"9783631440018","price":51.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783631440018.jpg?v=1767741434"},{"product_id":"symbolic-computation-and-automated-reasoning-taylor-francis-inc-9781568811451-the-calculemus-2000-symposium-michael-kohlhase","title":"Symbolic Computation and Automated Reasoning","description":"\u003cp\u003eExplore the intersection of mathematics and technology with \"Symbolic Computation and Automated Reasoning\" by Michael Kohlhase, published by Taylor \u0026amp; Francis Inc in 2001. This insightful book spans 284 pages and delves into critical topics including algebra, artificial intelligence, and the mathematical theory of computation.\u003c\/p\u003e \n\n\u003cp\u003eKohlhase expertly examines the growing importance of formal methods in the development of hardware and software, highlighting their relevance in today's digital landscape. As the need for automatic theorem proving becomes increasingly essential, this book serves as a comprehensive resource for both researchers and practitioners in discrete mathematics and data processing.\u003c\/p\u003e\n\n\u003cp\u003eWhether you are a student, educator, or professional in mathematics or computer science, \"Symbolic Computation and Automated Reasoning\" is an invaluable addition to your library. Enhance your understanding of this fascinating field and stay ahead in the rapidly evolving world of technology!\u003c\/p\u003e","brand":"Michael Kohlhase","offers":[{"title":"Default Title","offer_id":52227309142358,"sku":"9781568811451","price":116.18,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781568811451.jpg?v=1767741513"},{"product_id":"proof-theory-and-automated-deduction-springer-verlag-new-york-inc-9781402003684-j-goubault-larrecq","title":"Proof Theory and Automated Deduction","description":"\u003cp\u003eDiscover the innovative world of \u003cstrong\u003eProof Theory and Automated Deduction\u003c\/strong\u003e by \u003cstrong\u003eJ. Goubault-Larrecq\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag New York Inc.\u003c\/strong\u003e in 2001. This insightful paperback edition, a softcover reprint of the original 1st edition from 1997, spans an impressive \u003cstrong\u003e444 pages\u003c\/strong\u003e and delves into the evolving landscape of applied logic.\u003c\/p\u003e \n\n\u003cp\u003eIn this groundbreaking work, Goubault-Larrecq explores how researchers are now customizing logic systems to suit their specific needs, akin to defining a computer language. The book emphasizes the significance of automated deduction in relation to logic, presenting it as a critical component of modern logical frameworks. Whether you're a student, researcher, or enthusiast of mathematical logic, this book provides valuable insights into the intersection of logic and technology.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of logic and its practical applications with this essential read!\u003c\/p\u003e","brand":"J. Goubault-Larrecq","offers":[{"title":"Default Title","offer_id":52231597654358,"sku":"9781402003684","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781402003684.jpg?v=1767748523"},{"product_id":"metamathematics-machines-and-godel-s-proof-cambridge-university-press-9780521585330-n-shankar","title":"Metamathematics, Machines and Godel's Proof","description":"\u003cp\u003eDiscover the intriguing intersection of mathematics and computer science in \u003cstrong\u003eMetamathematics, Machines and Godel's Proof\u003c\/strong\u003e by N. Shankar. Published by Cambridge University Press in 1997, this insightful paperback spans 220 pages, offering a comprehensive exploration of how computer programs can be utilized to verify key proofs in the foundations of mathematics.\u003c\/p\u003e \n\n\u003cp\u003eShankar delves into the realms of mathematical logic and the theory of computation, making this book an essential read for anyone interested in the philosophy of mathematics and the symbolic aspects of computation. Whether you are a student, educator, or a professional in the field, this book serves as a valuable reference, bridging the gap between abstract mathematical theories and practical computational applications.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of mathematical proofs and their verification through technology with this thought-provoking work that combines rigorous theory with practical insights.\u003c\/p\u003e","brand":"N. Shankar","offers":[{"title":"Default Title","offer_id":52235603149142,"sku":"9780521585330","price":55.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521585330.jpg?v=1767755745"},{"product_id":"mathematical-reasoning-with-diagrams-centre-for-the-study-of-language-information-9781575863238-mateja-jamnik","title":"Mathematical Reasoning with Diagrams","description":"\u003cp\u003eDiscover the innovative world of mathematical reasoning with \"Mathematical Reasoning with Diagrams\" by Mateja Jamnik. Published in 2001, this insightful hardback book spans 200 pages and explores the powerful role of diagrams in theorem proving. Aimed at mathematicians and enthusiasts alike, it delves into the potential of mechanizing diagrammatic reasoning within formal computer-proof systems.\u003c\/p\u003e \n\n\u003cp\u003eJamnik presents a semi-automatic formal proof system that empowers users to utilize diagrams for theorem proofs, bridging the gap between visual representation and rigorous logic. This book is an essential resource for those interested in advanced mathematical foundations, automatic theorem proving, and the intersection of mathematics and logic. Enhance your understanding of mathematical concepts and discover how diagrams can transform your approach to proof and reasoning.\u003c\/p\u003e \n\n\u003cp\u003eJoin the conversation in the field of mathematics and elevate your skills with this essential addition to your library.\u003c\/p\u003e","brand":"Mateja Jamnik","offers":[{"title":"Default Title","offer_id":52235618058582,"sku":"9781575863238","price":80.26,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781575863238.jpg?v=1767755767"},{"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":"interactive-theorem-proving-springer-international-publishing-ag-9783319948201-9th-international-conference-itp-2018-held-as-part-of-the-federated-logic-conference-floc-2018-oxford-uk-july-9-12-2018-proceedings-jeremy-avigad","title":"Interactive Theorem Proving","description":"\u003cp\u003eDiscover the cutting-edge advancements in formal verification with \"Interactive Theorem Proving,\" authored by Jeremy Avigad and published by Springer International Publishing AG in 2018. This comprehensive volume contains the refereed proceedings from the 9th International Conference on Interactive Theorem Proving (ITP 2018), which took place in Oxford, UK, in July 2018. Within its 642 pages, you will find 32 full papers and 5 short papers that have been meticulously reviewed and selected from a total of 65 submissions. This collection is essential for anyone interested in the latest research and developments in interactive theorem proving, making it a valuable addition to your academic library. Enhance your understanding of this vital area of computer science and mathematics today!\u003c\/p\u003e","brand":"Jeremy Avigad","offers":[{"title":"Default Title","offer_id":52238539817302,"sku":"9783319948201","price":97.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319948201.jpg?v=1767760463"},{"product_id":"interactive-theorem-proving-springer-international-publishing-ag-9783319221014-6th-international-conference-itp-2015-nanjing-china-august-24-27-2015-proceedings-christian-urban","title":"Interactive Theorem Proving","description":"\u003cp\u003eExplore the groundbreaking insights in \u003cstrong\u003eInteractive Theorem Proving\u003c\/strong\u003e, authored by \u003cstrong\u003eChristian Urban\u003c\/strong\u003e and published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This comprehensive volume, spanning \u003cstrong\u003e469 pages\u003c\/strong\u003e, presents the proceedings of the prestigious 6th International Conference on Interactive Theorem Proving, held in Nanjing, China. Delve into a rich array of topics that encompass both theoretical foundations and practical implementations, focusing on areas such as program verification, security, and the formalization of mathematics. This first edition is an essential resource for researchers and practitioners alike, offering valuable insights into the evolving field of interactive theorem proving. Enhance your understanding and stay at the forefront of mathematical verification with this essential text.\u003c\/p\u003e","brand":"Christian Urban","offers":[{"title":"Default Title","offer_id":52238539948374,"sku":"9783319221014","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319221014.jpg?v=1767760462"},{"product_id":"interactive-theorem-proving-springer-international-publishing-ag-9783319431437-7th-international-conference-itp-2016-nancy-france-august-22-25-2016-proceedings-jasmin-christian-blanchette","title":"Interactive Theorem Proving","description":"\u003cp\u003eDiscover the cutting-edge research in \u003cstrong\u003eInteractive Theorem Proving\u003c\/strong\u003e, authored by \u003cstrong\u003eJasmin Christian Blanchette\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2016, features the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, held in Nancy, France. With a total of \u003cstrong\u003e502 pages\u003c\/strong\u003e, this first edition presents \u003cstrong\u003e27 full papers\u003c\/strong\u003e and \u003cstrong\u003e5 short papers\u003c\/strong\u003e, all meticulously reviewed and selected from 55 submissions. This book is an essential resource for researchers and practitioners in the field of interactive theorem proving, offering insights into the latest advancements and methodologies. Enhance your understanding of this critical area of computer science with the expert contributions found within.\u003c\/p\u003e","brand":"Jasmin Christian Blanchette","offers":[{"title":"Default Title","offer_id":52238540276054,"sku":"9783319431437","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319431437.jpg?v=1767760465"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783319249520-13th-international-symposium-atva-2015-shanghai-china-october-12-15-2015-proceedings-bernd-finkbeiner","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Bernd Finkbeiner and published by Springer International Publishing AG in 2015. This comprehensive volume, spanning 520 pages, compiles the proceedings from the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015), held in Shanghai, China. Within these pages, you will find 27 meticulously revised papers alongside 6 innovative tool papers, all selected through a rigorous review process from a competitive pool of 95 submissions. This book is an essential resource for researchers and practitioners in the fields of automatic theorem proving and verification technology. Enhance your understanding of the latest advancements and methodologies in automated analysis with this invaluable collection.\u003c\/p\u003e","brand":"Bernd Finkbeiner","offers":[{"title":"Default Title","offer_id":52251448672598,"sku":"9783319249520","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319249520.jpg?v=1767778986"},{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-springer-international-publishing-ag-9783319243115-24th-international-conference-tableaux-2015-wroclaw-poland-september-21-24-2015-proceedings-hans-de-nivelle","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\u003cp\u003eExplore the cutting-edge field of automated reasoning with \"Automated Reasoning with Analytic Tableaux and Related Methods,\" authored by Hans De Nivelle and published by Springer International Publishing AG in 2015. This first edition, comprising 355 pages, presents the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015), which took place in Wroclaw, Poland, in September 2015. Within this comprehensive volume, you will find 19 meticulously reviewed full papers and 2 additional papers, all selected from a competitive pool of 34 submissions. Ideal for researchers and practitioners in the field, this book delves into innovative methodologies and advancements in automated reasoning, making it an essential addition to your academic library.\u003c\/p\u003e","brand":"Hans De Nivelle","offers":[{"title":"Default Title","offer_id":52251449262422,"sku":"9783319243115","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319243115.jpg?v=1767778986"},{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783319465197-14th-international-symposium-atva-2016-chiba-japan-october-17-20-2016-proceedings-cyrille-artho","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Automated Technology for Verification and Analysis,\" authored by Cyrille Artho and published by Springer International Publishing AG in 2016. This comprehensive volume, spanning 530 pages, compiles the proceedings from the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016), held in Chiba, Japan.\u003c\/p\u003e \n\n\u003cp\u003eFeaturing 31 meticulously reviewed papers selected from 82 submissions, this book delves into advanced topics such as Markov models, chains, and decision processes. It serves as an essential resource for researchers and practitioners interested in the latest developments in automated verification and analysis technologies. Enhance your understanding of this dynamic field with this informative and authoritative work.\u003c\/p\u003e","brand":"Cyrille Artho","offers":[{"title":"Default Title","offer_id":52251449590102,"sku":"9783319465197","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319465197.jpg?v=1767778987"},{"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":"automated-reasoning-with-analytic-tableaux-and-related-methods-springer-international-publishing-ag-9783319669014-26th-international-conference-tableaux-2017-brasilia-brazil-september-25-28-2017-proceedings-renate-a-schmidt","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\u003cp\u003eDiscover the cutting-edge insights from the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods in \"Automated Reasoning with Analytic Tableaux and Related Methods,\" authored by Renate A. Schmidt. Published by Springer International Publishing AG in 2017, this first edition spans 381 pages of in-depth research and innovative methodologies in the field of automated reasoning.\u003c\/p\u003e \n\n\u003cp\u003eThis comprehensive volume showcases a collection of proceedings from TABLEAUX 2017, held in Brasília, Brazil. It features contributions from leading experts, making it an essential resource for researchers and practitioners interested in the latest advancements in analytic tableaux and related reasoning methods. Enhance your understanding of automated reasoning techniques with this authoritative text.\u003c\/p\u003e","brand":"Renate A. Schmidt","offers":[{"title":"Default Title","offer_id":52251450605910,"sku":"9783319669014","price":67.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319669014.jpg?v=1767778990"},{"product_id":"automated-theorem-proving-american-mathematical-society-9780821850275-after-25-years","title":"Automated Theorem Proving","description":"\u003cp\u003e\u003cstrong\u003eAutomated Theorem Proving\u003c\/strong\u003e by Special Session on Automatic Theorem Proving (1983 Denver, Colo.).\u003c\/p\u003e\n\u003cp\u003ePublished by American Mathematical Society, (1984), Paperback, 360 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Congresses, Mathematics, history.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52252437479766,"sku":"9780821850275","price":69.51,"currency_code":"EUR","in_stock":true}]},{"product_id":"numerical-verification-methods-and-computer-assisted-proofs-for-partial-differential-equations-springer-verlag-singapore-9789811376719-mitsuhiro-t-nakao","title":"Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations","description":"","brand":"Mitsuhiro T. Nakao","offers":[{"title":"Default Title","offer_id":52266187915606,"sku":"9789811376719","price":146.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789811376719.jpg?v=1767798861"},{"product_id":"numerical-verification-methods-and-computer-assisted-proofs-for-partial-differential-equations-springer-verlag-singapore-9789811376689-mitsuhiro-t-nakao","title":"Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations","description":"","brand":"Mitsuhiro T. Nakao","offers":[{"title":"Default Title","offer_id":52266188210518,"sku":"9789811376689","price":146.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789811376689.jpg?v=1767798859"},{"product_id":"automated-technology-for-verification-and-analysis-springer-nature-switzerland-ag-9783030591519-18th-international-symposium-atva-2020-hanoi-vietnam-october-19-23-2020-proceedings-dang-van-hung","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003e\u003cstrong\u003eAutomated Technology for Verification and Analysis\u003c\/strong\u003e by Dang Van Hung, Mizuhito Ogawa.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2020), Paperback, 574 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Software engineering, Computer science, Computer Communication Networks.\u003c\/p\u003e","brand":"Dang Van Hung","offers":[{"title":"Default Title","offer_id":52279707926870,"sku":"9783030591519","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030591519.jpg?v=1767824087"}],"url":"https:\/\/www.englishbook.pl\/collections\/automatinis-teoremu-irodymas.oembed","provider":"Bookshop","version":"1.0","type":"link"}