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.

Subjects
More like this

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.

Similar Items

Related Subjects:(2)

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:about <http://experiment.worldcat.org/entity/work/data/2829969#Topic/datenverarbeitung> ; # Datenverarbeitung
    schema:about <http://experiment.worldcat.org/entity/work/data/2829969#Topic/beweistheorie> ; # Beweistheorie
    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 <https://doi.org/10.1007/978-0-387-34768-4> ;
    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://experiment.worldcat.org/entity/work/data/2829969#Topic/datenverarbeitung> # Datenverarbeitung
    a schema:Intangible ;
    schema:name "Datenverarbeitung" ;
    .

<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-09-06" ;
    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.