skip to content
Lectures on the logic of computer programming Preview this item
ClosePreview this item

Lectures on the logic of computer programming

Author: Zohar Manna
Publisher: Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980.
Series: CBMS-NSF regional conference series in applied mathematics, 31.
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 online

Find a copy in the library

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

Details

Genre/Form: Computer programs
Additional Physical Format: Online version:
Manna, Zohar.
Lectures on the logic of computer programming.
Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980
(OCoLC)565318839
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Zohar Manna
ISBN: 0898711649 9780898711646
OCLC Number: 6473326
Description: iv, 49 pages ; 25 cm.
Series Title: CBMS-NSF regional conference series in applied mathematics, 31.
Responsibility: Zohar Manna.
More information:

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/6473326> # Lectures on the logic of computer programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "6473326" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/508319#Place/philadelphia_pa> ; # Philadelphia, Pa.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_informatique> ; # Logique informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/508319#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
   schema:about <http://dewey.info/class/001.642/e19/> ;
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1980" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/508319> ;
   schema:genre "Computer programs"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/508319#Series/cbms_nsf_regional_conference_series_in_applied_mathematics> ; # CBMS-NSF regional conference series in applied mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/565318839> ;
   schema:name "Lectures on the logic of computer programming"@en ;
   schema:productID "6473326" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/6473326#PublicationEvent/philadelphia_pa_society_for_industrial_and_applied_mathematics_1980> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/508319#Agent/society_for_industrial_and_applied_mathematics> ; # Society for Industrial and Applied Mathematics
   schema:url <http://www.gbv.de/dms/hbz/toc/ht001092292.pdf> ;
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0726/79093153-t.html> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1799442&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9780898711646> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/6473326> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/508319#Agent/society_for_industrial_and_applied_mathematics> # Society for Industrial and Applied Mathematics
    a bgn:Agent ;
   schema:name "Society for Industrial and Applied Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/508319#Place/philadelphia_pa> # Philadelphia, Pa.
    a schema:Place ;
   schema:name "Philadelphia, Pa." ;
    .

<http://experiment.worldcat.org/entity/work/data/508319#Series/cbms_nsf_regional_conference_series_in_applied_mathematics> # CBMS-NSF regional conference series in applied mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/6473326> ; # Lectures on the logic of computer programming
   schema:name "CBMS-NSF regional conference series in applied mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/508319#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
   schema:name "Logique informatique"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/508319#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/508319#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique"@en ;
    .

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

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

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

<http://worldcat.org/isbn/9780898711646>
    a schema:ProductModel ;
   schema:isbn "0898711649" ;
   schema:isbn "9780898711646" ;
    .

<http://www.worldcat.org/oclc/565318839>
    a schema:CreativeWork ;
   rdfs:label "Lectures on the logic of computer programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/6473326> ; # Lectures on the logic of computer programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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