skip to content
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings Preview this item
ClosePreview this item
Checking...

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings

Author: Ewing Lusk; Ross A Overbeek
Publisher: Berlin ; New York : SpringVerlag, ©1988.
Series: Lecture notes in computer science, 310.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.).
9th International Conference on Automated Deduction.
Berlin ; New York : Springer-Verlag, ©1988
(DLC) 88015876
(OCoLC)17952005
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ewing Lusk; Ross A Overbeek
ISBN: 9783540392163 3540392165
OCLC Number: 321275068
Description: 1 online resource (x, 775 pages) : illustrations.
Series Title: Lecture notes in computer science, 310.
Other Titles: Ninth International Conference on Automated Deduction
CADE-9
Responsibility: E. Lusk, R. Overbeek (eds.).

Abstract:

This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

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/321275068> # 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "321275068" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104424632#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424632#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/1104424632#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:alternateName "CADE-9" ;
   schema:alternateName "Ninth International Conference on Automated Deduction" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/57967579> ; # Ross A. Overbeek
   schema:contributor <http://viaf.org/viaf/59374643> ; # Ewing Lusk
   schema:copyrightYear "1988" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1104424632#Meeting/international_conference_on_automated_deduction_9th_1988_argonne_ill> ; # International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
   schema:datePublished "1988" ;
   schema:description "This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104424632> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/17952005> ;
   schema:name "9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings"@en ;
   schema:productID "321275068" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/321275068#PublicationEvent/berlin_new_york_springverlag_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104424632#Agent/springverlag> ; # SpringVerlag
   schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/BFb0012819> ;
   schema:url <http://dx.doi.org/10.1007/BFb0012819> ;
   schema:url <http://link.springer.com/10.1007/BFb0012819> ;
   schema:workExample <http://worldcat.org/isbn/9783540392163> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/321275068> ;
    .


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/1104424632#Meeting/international_conference_on_automated_deduction_9th_1988_argonne_ill> # International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104424632#Place/argonne_ill> ; # Argonne, Ill.)
   schema:name "International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)" ;
    .

<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/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://link.springer.com/10.1007/BFb0012819>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/57967579> # Ross A. Overbeek
    a schema:Person ;
   schema:familyName "Overbeek" ;
   schema:givenName "Ross A." ;
   schema:name "Ross A. Overbeek" ;
    .

<http://viaf.org/viaf/59374643> # Ewing Lusk
    a schema:Person ;
   schema:familyName "Lusk" ;
   schema:givenName "Ewing" ;
   schema:name "Ewing Lusk" ;
    .

<http://worldcat.org/isbn/9783540392163>
    a schema:ProductModel ;
   schema:isbn "3540392165" ;
   schema:isbn "9783540392163" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/321275068> ; # 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/17952005>
    a schema:CreativeWork ;
   rdfs:label "9th International Conference on Automated Deduction." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/321275068> ; # 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321275068>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/321275068> ; # 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings
   schema:dateModified "2017-10-21" ;
   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.