{"title":"Denis Berthier","description":null,"products":[{"product_id":"urban-astronomy-book-denis-berthier-9780521531900","title":"Urban Astronomy","description":"Light pollution has spread so much in the last few decades that it often compromises our view of the stars. It is becoming more and more difficult to find an observing site with clear, dark skies away from light and industrial pollution. However, with patience, some simple equipment, and by choosing the right targets to observe, amateur astronomers can still find observing from towns and cities a rewarding hobby. The result of thirty years of observing the night sky from within a city, Denis Berthier's practical guide will help amateur astronomers to enjoy their hobby without having to travel to distant sites, and without using complicated equipment or difficult techniques, enabling them to observe and photograph stars and planets as well as many other celestial objects.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49596438642961,"sku":"GOR002174566","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50784227885329,"sku":"CIN052153190XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/052153190X.jpg?v=1751135184"},{"product_id":"hidden-logic-of-sudoku-book-denis-berthier-9781847534729","title":"The Hidden Logic of Sudoku","description":"The Hidden Logic of Sudoku provides the first systematic perspective of the logical symmetries of the popular game. These are fully exploited to define new graphical representations, new kinds of resolution rules and a precedence ordering of the rules consistent with their logical complexity. The set of rules defined in the book is illustrated with a hundred of puzzles together with their full resolution paths. It suffices to solve almost any puzzle without making guesses or assuming the uniqueness of a solution. It has been fed into an Artificial Intelligence (AI) engine and a large database of puzzles has been processed, leading to a precise evaluation of the efficiency of each rule. The book is intended for both advanced Sudoku players (who will discover many new facets of the game and a new, systematic approach to the resolution rules) and for teachers or students of Logic or AI (who will appreciate the strict logical foundations).","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51180466667793,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51180468011281,"sku":"NIN9781847534729","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1847534724.jpg?v=1751217289"},{"product_id":"pattern-based-constraint-satisfaction-and-logic-puzzles-book-denis-berthier-9781471785931","title":"Pattern-Based Constraint Satisfaction and Logic Puzzles","description":null,"brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":52744173027601,"sku":"NIN9781471785931","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781471785931.jpg?v=1763498065"},{"product_id":"pattern-based-constraint-satisfaction-and-logic-puzzles-third-edition-book-denis-berthier-9781326675899","title":"Pattern-Based Constraint Satisfaction and Logic Puzzles (Third Edition)","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52748099420433,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52748099617041,"sku":"NIN9781326675899","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781326675899.jpg?v=1763535701"},{"product_id":"hierarchical-classifications-in-constraint-satisfaction-book-denis-berthier-9781446733318","title":"Hierarchical Classifications in Constraint Satisfaction","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52749529350417,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52749529612561,"sku":"NIN9781446733318","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781446733318.jpg?v=1763548613"},{"product_id":"user-manual-and-research-notebooks-for-csp-rules-book-denis-berthier-9781447527145","title":"User Manual and Research Notebooks for CSP-Rules","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52749765542161,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52749765837073,"sku":"NIN9781447527145","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781447527145.jpg?v=1763549979"},{"product_id":"augmented-user-manual-for-csp-rules-v2-1-book-denis-berthier-9781471026874","title":"Augmented User Manual for CSP-Rules-V2.1","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52750312407313,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52750312669457,"sku":"NIN9781471026874","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781471026874.jpg?v=1763552606"},{"product_id":"basic-user-manual-for-csp-rules-v2-1-second-edition-book-denis-berthier-9781794867079","title":"Basic User Manual for CSP-Rules-V2.1 (Second Edition)","description":null,"brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":52755814023441,"sku":"NIN9781794867079","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781794867079.jpg?v=1763574488"},{"product_id":"pattern-based-constraint-satisfaction-and-logic-puzzles-book-denis-berthier-9781291203394","title":"Pattern-Based Constraint Satisfaction and Logic Puzzles","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53518777090321,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53518777188625,"sku":"NIN9781291203394","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781291203394.jpg?v=1778345116"},{"product_id":"constraint-resolution-theories-book-denis-berthier-9781447868880","title":"Constraint Resolution Theories","description":"Constraint Resolution Theories introduces a pure logic perspective of the finite Constraint Satisfaction Problem (CSP), with emphasis on finding the simplest solution. Based on constructive logic, the resolution paradigm involves resolution rules, i.e. logical formulae in the condition-action form, where the condition pattern implies the elimination of a candidate (a possible value for a CSP variable). Defining a resolution theory as a set of resolution rules, it introduces several families of such theories. Each of them carries its own notion of simplicity, defines a rating of CSP instances and satisfies two main theorems: the confluence property (guaranteeing that the associated rating has good computational properties) and a correspondence with a form of structured search procedure without guessing (Trial-and-Error). Throughout the book, Sudoku is used for illustrative purposes.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":53575598080273,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":53575598506257,"sku":"NIN9781447868880","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781447868880.jpg?v=1779239573"}],"url":"https:\/\/www.worldofbooks.com\/en-au\/collections\/author-books-by-denis-berthier.oembed","provider":"World of Books ","version":"1.0","type":"link"}