{"product_id":"logic-automata-and-computational-complexity-the-works-of-stephen-a-cook-9798400707773","title":"Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook","description":"\u003cp\u003e\u003cb\u003eProfessor Stephen A. Cook is a pioneer of the theory of computational complexity.\u003c\/b\u003e His work on NP-completeness and the P vs. NP problem remains a central focus of this field. Cook won the 1982 Turing Award for \"his advancement of our understanding of the complexity of computation in a significant and profound way.\" This volume includes a selection of seminal papers embodying the work that led to this award, exemplifying Cook's synthesis of ideas and techniques from logic and the theory of computation including NP-completeness, proof complexity, bounded arithmetic, and parallel and space-bounded computation. These papers are accompanied by contributed articles by leading researchers in these areas, which convey to a general reader the importance of Cook's ideas and their enduring impact on the research community. The book also contains biographical material, Cook's Turing Award lecture, and an interview. Together these provide a portrait of Cook as a recognized leader and innovator in mathematics and computer science, as well as a gentle mentor and colleague.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-16169005\"\u003eBruce M. Kapron\u003c\/a\u003e\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e ACM\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/22\/2023\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 426\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.60lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.25h x 7.50w x 0.87d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9798400707773\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 840070777X\u003cbr\u003e\u003cb\u003eBISAC Categories:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eComputers\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eComputer Science\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eComputers\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM031000\"\u003eInformation Theory\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMathematics\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT008000\"\u003eDiscrete Mathematics\u003c\/a\u003e\u003cbr\u003e","brand":"ACM","offers":[{"title":"Default Title","offer_id":44491696996589,"sku":"9798400707773","price":77.18,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_80ce41f8-a440-4016-9cd4-838b342daf87.jpg?v=1700889231","url":"https:\/\/sureshotbooks.com\/products\/logic-automata-and-computational-complexity-the-works-of-stephen-a-cook-9798400707773","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}