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
Database:WorldCat
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.
More information:

Abstract:

Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated deduction.  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/induction> ; # induction
   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_modale> ; # logique modale
   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/unification> ; # unification
   schema:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_intuitionniste> ; # logique intuitionniste
   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://experiment.worldcat.org/entity/work/data/891631443#Topic/deduction_automatique> ; # déduction automatique
   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:about <http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_temporelle> ; # logique temporelle
   schema:alternateName "CADE-13" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/891631443#Person/mcrobbie_m_a_michael_a> ; # Michael A. McRobbie
   schema:contributor <http://viaf.org/viaf/166185260> ; # John K. Slaney
   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://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#Person/mcrobbie_m_a_michael_a> # Michael A. McRobbie
    a schema:Person ;
   schema:familyName "McRobbie" ;
   schema:givenName "Michael A." ;
   schema:givenName "M. A." ;
   schema:name "Michael A. McRobbie" ;
    .

<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/deduction_automatique> # déduction automatique
    a schema:Intangible ;
   schema:name "déduction automatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/891631443#Topic/logique_intuitionniste> # logique intuitionniste
    a schema:Intangible ;
   schema:name "logique intuitionniste"@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://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://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 "2016-05-10" ;
   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.