{"product_id":"collected-works-of-larry-wos-gail-w-pieper-9789810240011","title":"Collected Works of Larry Wos, the (in 2 Volumes)","description":"Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.The book has the following special features: (1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic;(2) It provides a history of the field -- from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning;(3) It illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design;(4) It includes a CD-ROM, with a searchable index of all the papers, enabling readers to peruse the papers easily for ideas.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Gail W. Pieper,Larry Wos\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 9810240015\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9789810240011\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e World Scientific Publishing Company\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/26\/2000\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 1680\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 5.74lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.10h x 6.67w x 3.73d\u003cbr\u003e\u003cbr\u003e\u003cb\u003eReview Citation(s): \u003c\/b\u003e\u003cbr\u003e\u003ci\u003eScitech Book News\u003c\/i\u003e 03\/01\/2001 pg. 19","brand":"Gail W. Pieper","offers":[{"title":"Hardcover","offer_id":48448094732543,"sku":"9789810240011","price":283.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_883bebc4-f3fc-4eb8-9faf-70c0c52576fd.jpg?v=1777236856","url":"https:\/\/www.whiterainbookhouse.com\/products\/collected-works-of-larry-wos-gail-w-pieper-9789810240011","provider":"WR Book House","version":"1.0","type":"link"}