{"product_id":"9783540283720","title":"Lecture Notes in Computer Science: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings\u003c\/h1\u003e \u003ch2\u003eHurd, Joe; Melham, Tom\u003c\/h2\u003e \u003cp\u003eThis volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2005-08-08\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540283720\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/11541868\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 414\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369926156428,"sku":"9783540283720","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540283720.jpg?v=1773966979","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540283720","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}