skip to content
Handbook of practical logic and automated reasoning Preview this item
ClosePreview this item
Checking...

Handbook of practical logic and automated reasoning

Author: J Harrison
Publisher: Cambridge ; New York : Cambridge University Press, 2009.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Harrison, J. (John), 1966-
Handbook of practical logic and automated reasoning
(OCoLC)244767230
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Harrison
ISBN: 9780511508653 0511508654 9780511505188 0511505183 9780511576430 0511576439 9780511501562 0511501560 9781139637886 1139637886
OCLC Number: 408024373
Description: 1 online resource (xix, 681 pages) : illustrations
Contents: Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.
Responsibility: John Harrison.

Abstract:

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

'Contemporary research in computer science has produced an abundance of formal methods designed to enable hardware and software systems to reason correctly, and to enable us to reason better about Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/408024373> # Handbook of practical logic and automated reasoning
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "408024373" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/142565487#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://images.contentreserve.com/ImageType-100/0006-1/{776FE325-9E7E-4A8F-B4AE-919CC3EB832C}Img100.jpg'" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/142565487#Topic/computers_expert_systems> ; # COMPUTERS--Expert Systems
   schema:about <http://experiment.worldcat.org/entity/work/data/142565487#Topic/informatik> ; # Informatik
   schema:about <http://dewey.info/class/006.333/e22/> ;
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/142565487#Topic/mathematische_logik> ; # Mathematische Logik
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/115375740> ; # John Harrison
   schema:datePublished "2009" ;
   schema:description "One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/142565487> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/244767230> ;
   schema:name "Handbook of practical logic and automated reasoning"@en ;
   schema:productID "408024373" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/408024373#PublicationEvent/cambridge_new_york_cambridge_university_press_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/142565487#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://www.myilibrary.com?id=205877&ref=toc> ;
   schema:url <http://dx.doi.org/10.1017/CBO9780511576430> ;
   schema:url <http://www.books24x7.com/marc.asp?bookid=30918> ;
   schema:url <http://proquest.tech.safaribooksonline.de/9781139637886> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=271019> ;
   schema:url <http://www.myilibrary.com?id=205877> ;
   schema:url <http://proquest.safaribooksonline.com/9781139637886> ;
   schema:url <http://site.ebrary.com/id/10289356> ;
   schema:url <https://samples.overdrive.com/handbook-of-practical-776fe3?.epub-sample.overdrive.com> ;
   schema:url <https://www.overdrive.com/search?q=776FE325-9E7E-4A8F-B4AE-919CC3EB832C> ;
   schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=424595> ;
   schema:url <http://0-dx.doi.org.oasis.unisa.ac.za/10.1017/CBO9780511576430> ;
   schema:url "http://images.contentreserve.com/ImageType-100/0006-1/{776FE325-9E7E-4A8F-B4AE-919CC3EB832C}Img100.jpg" ;
   schema:workExample <http://worldcat.org/isbn/9780511508653> ;
   schema:workExample <http://worldcat.org/isbn/9780511501562> ;
   schema:workExample <http://worldcat.org/isbn/9781139637886> ;
   schema:workExample <http://worldcat.org/isbn/9780511505188> ;
   schema:workExample <http://worldcat.org/isbn/9780511576430> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/408024373> ;
    .


Related Entities

<http://0-dx.doi.org.oasis.unisa.ac.za/10.1017/CBO9780511576430>
   rdfs:comment "View full-text e-book at Cambridge.
Access restricted to Unisa staff and students
" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/142565487#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/142565487#Topic/computers_expert_systems> # COMPUTERS--Expert Systems
    a schema:Intangible ;
   schema:name "COMPUTERS--Expert Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/142565487#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
   schema:name "Computer logic"@en ;
    .

<http://viaf.org/viaf/115375740> # John Harrison
    a schema:Person ;
   schema:birthDate "1966" ;
   schema:familyName "Harrison" ;
   schema:givenName "John" ;
   schema:givenName "J." ;
   schema:name "John Harrison" ;
    .

<http://worldcat.org/isbn/9780511501562>
    a schema:ProductModel ;
   schema:isbn "0511501560" ;
   schema:isbn "9780511501562" ;
    .

<http://worldcat.org/isbn/9780511505188>
    a schema:ProductModel ;
   schema:isbn "0511505183" ;
   schema:isbn "9780511505188" ;
    .

<http://worldcat.org/isbn/9780511508653>
    a schema:ProductModel ;
   schema:isbn "0511508654" ;
   schema:isbn "9780511508653" ;
    .

<http://worldcat.org/isbn/9780511576430>
    a schema:ProductModel ;
   schema:isbn "0511576439" ;
   schema:isbn "9780511576430" ;
    .

<http://worldcat.org/isbn/9781139637886>
    a schema:ProductModel ;
   schema:isbn "1139637886" ;
   schema:isbn "9781139637886" ;
    .

<http://www.worldcat.org/oclc/244767230>
    a schema:CreativeWork ;
   rdfs:label "Handbook of practical logic and automated reasoning" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/408024373> ; # Handbook of practical logic and automated reasoning
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.