{"title":"Pocket Style Manual","description":null,"products":[{"product_id":"pocket-style-manual-book-university-diana-hacker-9780312593247","title":"A Pocket Style Manual","description":"Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49675839832337,"sku":"CIN0312593244G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50347593597201,"sku":"CIN0312593244A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50715302363409,"sku":"CIN0312593244VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0312593244.jpg?v=1750973650"},{"product_id":"pocket-style-manual-book-diana-t-hacker-9781457663093","title":"A Pocket Style Manual","description":null,"brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50178294776081,"sku":"CIN1457663090G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":50338787688721,"sku":"CIN1457663090A","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50942017274129,"sku":"CIN1457663090VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1457663090.jpg?v=1750826364"},{"product_id":"pocket-style-manual-book-diane-hacker-9780312247522","title":"A Pocket Style Manual","description":"With advice for finding, evaluating, and documenting sources, this handy spiral-bound booklet covers the essential information college students need for research assignments in more than 30 disciplines. Reflecting a broader range of research interests, the fifth edition includes 50 new specialized library and Web sources -- all annotated -- that help students find reliable and current information on diverse subjects. New, up-to-date documentation models guide students as they cite common sources and newer sources -- such as blogs, podcasts, and online videos -- in one of four documentation styles (MLA, APA, Chicago, and CSE).","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50349701497105,"sku":"CIN0312247524G","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0312247524.jpg?v=1751196278"}],"url":"https:\/\/www.worldofbooks.com\/de-de\/collections\/pocket-style-manual-buchreihe.oembed","provider":"World of Books ","version":"1.0","type":"link"}