skip to content
Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings Preview this item
ClosePreview this item
Checking...

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Author: M A McRobbie; J K Slaney
Publisher: Berlin ; New York : Springer, ©1996.
Series: Lecture notes in computer science, 1104.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major  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: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: M A McRobbie; J K Slaney
ISBN: 3540615113 9783540615118
OCLC Number: 35029668
Description: xv, 764 pages : illustrations ; 24 cm.
Contents: Saturation-based theorem proving: Past successes and future potential / Harald Ganzinger --
A resolution theorem prover for intuitionistic logic / Tanel Tammet --
Proof-terms for classical and intuitionistic resolution / David Pym, Eike Ritter and Lincoln Wallen --
Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-Unification / Andrei Voronkov --
Extensions to a generalization critic for inductive proof / Andrew Ireland and Alan Bundy --
Learning domain knowledge to improve theorem proving / Jorg Denzinger and Stephan Schulz --
Patching faulty conjectures / Martin Protzen --
Internal analogy in theorem proving / Erica Melis and Jon Whittle --
Termination of theorem proving by reuse / Thomas Kolbe and Christoph Walther --
Termination of algorithms over non-freely generated data types / Claus Sengler --
ABSFOL: a proof checker with abstraction / Fausto Giunchiglia and Adolfo Villafiorita.
Series Title: Lecture notes in computer science, 1104.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: CADE-13
Responsibility: M.A. McRobbie, J.K. Slaney, eds.

Abstract:

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume  Read more...

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/35029668> # Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "35029668" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891631443#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres> ; # Théorèmes--Démonstration automatique--Congrès
    schema:about <http://dewey.info/class/006.33/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:alternateName "CADE-13" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/166185260> ; # John K. Slaney
    schema:contributor <http://viaf.org/viaf/69637861> ; # Michael A. McRobbie
    schema:copyrightYear "1996" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> ; # International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)
    schema:datePublished "1996" ;
    schema:description ""This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area."--PUBLISHER'S WEBSITE."@en ;
    schema:description "Saturation-based theorem proving: Past successes and future potential / Harald Ganzinger -- A resolution theorem prover for intuitionistic logic / Tanel Tammet -- Proof-terms for classical and intuitionistic resolution / David Pym, Eike Ritter and Lincoln Wallen -- Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-Unification / Andrei Voronkov -- Extensions to a generalization critic for inductive proof / Andrew Ireland and Alan Bundy -- Learning domain knowledge to improve theorem proving / Jorg Denzinger and Stephan Schulz -- Patching faulty conjectures / Martin Protzen -- Internal analogy in theorem proving / Erica Melis and Jon Whittle -- Termination of theorem proving by reuse / Thomas Kolbe and Christoph Walther -- Termination of algorithms over non-freely generated data types / Claus Sengler -- ABSFOL: a proof checker with abstraction / Fausto Giunchiglia and Adolfo Villafiorita."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/891631443> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891631443#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891631443#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:name "Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings"@en ;
    schema:productID "35029668" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/35029668#PublicationEvent/berlin_new_york_springer_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/891631443#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/10.1007/3-540-61511-3> ;
    schema:url <http://dx.doi.org/10.1007/3-540-61511-3> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=1104> ;
    schema:url <http://swbplus.bsz-bw.de/bsz053441044cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540615118> ;
    umbel:isLike <http://d-nb.info/947871500> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/35029668> ;
    .


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/891631443#Meeting/international_conference_on_automated_deduction_13th_1996_new_brunswick_n_j> # International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/891631443#Place/new_brunswick_n_j> ; # New Brunswick, N.J.)
    schema:name "International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Place/new_brunswick_n_j> # New Brunswick, N.J.)
    a schema:Place ;
    schema:name "New Brunswick, N.J.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/35029668> ; # Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/35029668> ; # Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
    schema:name "Automatische bewijsvoering"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
    schema:name "Théorèmes--Démonstration automatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Topic/theoremes_demonstration_automatique_congres> # Théorèmes--Démonstration automatique--Congrès
    a schema:Intangible ;
    schema:name "Théorèmes--Démonstration automatique--Congrès"@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/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://link.springer.com/10.1007/3-540-61511-3>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/166185260> # John K. Slaney
    a schema:Person ;
    schema:familyName "Slaney" ;
    schema:givenName "John K." ;
    schema:givenName "J. K." ;
    schema:name "John K. Slaney" ;
    .

<http://viaf.org/viaf/69637861> # Michael A. McRobbie
    a schema:Person ;
    schema:familyName "McRobbie" ;
    schema:givenName "Michael A." ;
    schema:givenName "M. A." ;
    schema:name "Michael A. McRobbie" ;
    .

<http://worldcat.org/isbn/9783540615118>
    a schema:ProductModel ;
    schema:isbn "3540615113" ;
    schema:isbn "9783540615118" ;
    .

<http://www.worldcat.org/title/-/oclc/35029668>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/35029668> ; # Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
    schema:dateModified "2018-04-01" ;
    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.