skip to content
7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings Preview this item
ClosePreview this item
Checking...

7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings

Author: R E Shostak
Publisher: Berlin [u.a.] Springer 1984
Series: Lecture Notes in Computer Science, 170
Edition/Format:   Computer file : EnglishView all editions and formats
Rating:

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

Find a copy online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: R E Shostak
ISBN: 9780387960227 0387960228
OCLC Number: 838116382
Description: Online-Ressource.
Series Title: Lecture Notes in Computer Science, 170

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/838116382> # 7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings
    a schema:CreativeWork, bgn:ComputerFile ;
    library:oclcnum "838116382" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2829969#Place/berlin_u_a> ; # Berlin u.a.
    schema:contributor <http://viaf.org/viaf/93707030> ; # R. E. Shostak
    schema:datePublished "1984" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2829969> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2829969#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2829969#Series/> ; #
    schema:name "7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings" ;
    schema:productID "838116382" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/838116382#PublicationEvent/berlin_u_a_springer1984> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2829969#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/Bfb0047110> ;
    schema:url <http://www.springerlink.com/content/978-0-387-34768-4> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-2011051036> ;
    schema:url <http://dx.doi.org/010.1007/BFb0047110> ;
    schema:url <https://doi.org/010.1007/BFb0047110> ;
    schema:workExample <http://worldcat.org/isbn/9780387960227> ;
    schema:workExample <http://dx.doi.org/010.1007/Bfb0047110> ;
    umbel:isLike <http://d-nb.info/1011663341> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/838116382> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2829969#Series/> #
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/838116382> ; # 7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings
    schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/2829969#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/838116382> ; # 7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://viaf.org/viaf/93707030> # R. E. Shostak
    a schema:Person ;
    schema:familyName "Shostak" ;
    schema:givenName "R. E." ;
    schema:name "R. E. Shostak" ;
    .

<http://worldcat.org/isbn/9780387960227>
    a schema:ProductModel ;
    schema:isbn "0387960228" ;
    schema:isbn "9780387960227" ;
    .

<http://www.worldcat.org/title/-/oclc/838116382>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/838116382> ; # 7th International Conference on Automated Deduction : Napa, California, USA May 1416, 1984 Proceedings
    schema:dateModified "2018-03-22" ;
    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.