skip to content
The Logical basis for computer programming. Volume I, Deductive reasoning Preview this item
ClosePreview this item
Checking...

The Logical basis for computer programming. Volume I, Deductive reasoning

Author: Zohar Manna
Publisher: Reading, Mass. : Addison-Wesley, ©1985.
Series: Addison-Wesley series in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Zohar Manna
ISBN: 0201182602 9780201182606
OCLC Number: 25496522
Notes: Index : p. 583-618.
Description: xii, 618 p. ; 25 cm.
Series Title: Addison-Wesley series in computer science.
Responsibility: Zohar Manna, Richard Waldinger.

Reviews

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/25496522> # The Logical basis for computer programming. Volume I, Deductive reasoning
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "25496522" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3843075#Place/reading_mass> ; # Reading, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/ordinateurs_programmation> ; # Ordinateurs, programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/programmation_mathematique> ; # programmation mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_symbolique> ; # logique symbolique
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/programming_electronic_digital_computers> ; # Programming (Electronic Digital Computers)
    schema:about <http://dewey.info/class/519.7/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_mathematique> ; # logique mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/calcul_predicat> ; # calcul prédicat
    schema:about <http://experiment.worldcat.org/entity/work/data/3843075#Topic/induction_mathematique> ; # induction mathématique
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1985" ;
    schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
    schema:datePublished "1985" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3843075> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3843075#Series/addison_wesley_series_in_computer_science> ; # Addison-Wesley series in computer science.
    schema:name "The Logical basis for computer programming. Volume I, Deductive reasoning" ;
    schema:numberOfPages "618" ;
    schema:productID "25496522" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/25496522#PublicationEvent/reading_mass_addison_wesley_1985> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3843075#Agent/addison_wesley> ; # Addison-Wesley
    schema:workExample <http://worldcat.org/isbn/9780201182606> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/25496522> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3843075#Agent/addison_wesley> # Addison-Wesley
    a bgn:Agent ;
    schema:name "Addison-Wesley" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Place/reading_mass> # Reading, Mass.
    a schema:Place ;
    schema:name "Reading, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Series/addison_wesley_series_in_computer_science> # Addison-Wesley series in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/25496522> ; # The Logical basis for computer programming. Volume I, Deductive reasoning
    schema:name "Addison-Wesley series in computer science." ;
    schema:name "Addison-Wesley series in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/calcul_predicat> # calcul prédicat
    a schema:Intangible ;
    schema:name "calcul prédicat" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/induction_mathematique> # induction mathématique
    a schema:Intangible ;
    schema:name "induction mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
    schema:name "logique mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_symbolique> # logique symbolique
    a schema:Intangible ;
    schema:name "logique symbolique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique" ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/ordinateurs_programmation> # Ordinateurs, programmation
    a schema:Intangible ;
    schema:name "Ordinateurs, programmation" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
    schema:name "programmation en logique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/programmation_mathematique> # programmation mathématique
    a schema:Intangible ;
    schema:name "programmation mathématique" ;
    .

<http://experiment.worldcat.org/entity/work/data/3843075#Topic/programming_electronic_digital_computers> # Programming (Electronic Digital Computers)
    a schema:Intangible ;
    schema:name "Programming (Electronic Digital Computers)" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical" ;
    .

<http://viaf.org/viaf/91223528> # Zohar Manna
    a schema:Person ;
    schema:familyName "Manna" ;
    schema:givenName "Zohar" ;
    schema:name "Zohar Manna" ;
    .

<http://worldcat.org/isbn/9780201182606>
    a schema:ProductModel ;
    schema:isbn "0201182602" ;
    schema:isbn "9780201182606" ;
    .

<http://www.worldcat.org/title/-/oclc/25496522>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/25496522> ; # The Logical basis for computer programming. Volume I, Deductive reasoning
    schema:dateModified "2018-03-29" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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