skip to content
Studies in automatic programming logic Preview this item
ClosePreview this item
Checking...

Studies in automatic programming logic

Author: Zohar Manna; Richard Waldinger
Publisher: New York : North-Holland, ©1977.
Series: Computer science library.; Artificial intelligence series.
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

Genre/Form: Computer programs
Additional Physical Format: Online version:
Manna, Zohar.
Studies in automatic programming logic.
New York : North-Holland, ©1977
(OCoLC)568720859
Document Type: Book
All Authors / Contributors: Zohar Manna; Richard Waldinger
ISBN: 0444002243 9780444002242 0444002251 9780444002259
OCLC Number: 2912367
Notes: Includes indexes.
Description: viii, 192 pages ; 24 cm.
Series Title: Computer science library.; Artificial intelligence series.
Responsibility: Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt.

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/2912367> # Studies in automatic programming logic
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "2912367" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872410> ; # Computer programs
   schema:about <http://experiment.worldcat.org/entity/work/data/3474446#Topic/computer_programs> ; # Computer programs
   schema:about <http://id.worldcat.org/fast/822768> ; # Automatic programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/3474446#Topic/logiciels> ; # Logiciels
   schema:about <http://experiment.worldcat.org/entity/work/data/3474446#Topic/automatische_programmierung> ; # Automatische Programmierung
   schema:about <http://dewey.info/class/001.642/> ;
   schema:about <http://dewey.info/class/001.642/e18/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3474446#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:author <http://viaf.org/viaf/50620302> ; # Richard Waldinger
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1977" ;
   schema:creator <http://viaf.org/viaf/91223528> ; # Zohar Manna
   schema:datePublished "1977" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3474446> ;
   schema:genre "Computer programs"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3474446#Series/the_computer_science_library> ; # The Computer science library
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3474446#Series/computer_science_library> ; # Computer science library.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3474446#Series/artificial_intelligence_series> ; # Artificial intelligence series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/568720859> ;
   schema:name "Studies in automatic programming logic"@en ;
   schema:productID "2912367" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2912367#PublicationEvent/new_york_north_holland_1977> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3474446#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444002242> ;
   schema:workExample <http://worldcat.org/isbn/9780444002259> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2912367> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/3474446#Series/artificial_intelligence_series> # Artificial intelligence series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2912367> ; # Studies in automatic programming logic
   schema:name "Artificial intelligence series." ;
   schema:name "Artificial intelligence series" ;
    .

<http://experiment.worldcat.org/entity/work/data/3474446#Series/computer_science_library> # Computer science library.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2912367> ; # Studies in automatic programming logic
   schema:name "Computer science library." ;
    .

<http://experiment.worldcat.org/entity/work/data/3474446#Series/the_computer_science_library> # The Computer science library
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2912367> ; # Studies in automatic programming logic
   schema:name "The Computer science library" ;
    .

<http://experiment.worldcat.org/entity/work/data/3474446#Topic/automatische_programmierung> # Automatische Programmierung
    a schema:Intangible ;
   schema:name "Automatische Programmierung"@en ;
    .

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

<http://id.worldcat.org/fast/822768> # Automatic programming (Computer science)
    a schema:Intangible ;
   schema:name "Automatic programming (Computer science)"@en ;
    .

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

<http://viaf.org/viaf/50620302> # Richard Waldinger
    a schema:Person ;
   schema:familyName "Waldinger" ;
   schema:givenName "Richard" ;
   schema:name "Richard Waldinger" ;
    .

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

<http://worldcat.org/isbn/9780444002242>
    a schema:ProductModel ;
   schema:isbn "0444002243" ;
   schema:isbn "9780444002242" ;
    .

<http://worldcat.org/isbn/9780444002259>
    a schema:ProductModel ;
   schema:isbn "0444002251" ;
   schema:isbn "9780444002259" ;
    .

<http://www.worldcat.org/oclc/568720859>
    a schema:CreativeWork ;
   rdfs:label "Studies in automatic programming logic." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/2912367> ; # Studies in automatic programming logic
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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