skip to content
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings Preview this item
ClosePreview this item
Checking...

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Author: Peter Baumgartner; Reiner Hähnle; Joachim Posegga
Publisher: Berlin ; New York : Springer, ©1995.
Series: Lecture notes in computer science, 918.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these  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:
TABLEAUX '95 (1995 : Sankt Goar, Germany).
Theorem proving with analytic tableaux and related methods.
Berlin ; New York : Springer, ©1995
(DLC) 95174471
(OCoLC)32644245
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter Baumgartner; Reiner Hähnle; Joachim Posegga
ISBN: 9783540492351 3540492356
OCLC Number: 326712344
Description: 1 online resource (x, 352 pages) : illustrations.
Series Title: Lecture notes in computer science, 918.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: TABLEAUX '95
Responsibility: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.

Abstract:

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications.

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/326712344> # Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "326712344" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37201032#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.11/e20/> ;
    schema:about <http://id.worldcat.org/fast/1038606> ; # Nonclassical mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/37201032#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://id.loc.gov/authorities/subjects/sh85092240> ; # Nonclassical mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/37201032#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:alternateName "TABLEAUX '95" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/37201032#Person/hahnle_reiner> ; # Reiner Hähnle
    schema:contributor <http://experiment.worldcat.org/entity/work/data/37201032#Person/posegga_joachim> ; # Joachim Posegga
    schema:contributor <http://experiment.worldcat.org/entity/work/data/37201032#Person/baumgartner_peter> ; # Peter Baumgartner
    schema:copyrightYear "1995" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> ; # TABLEAUX '95 (1995 : Sankt Goar, Germany)
    schema:datePublished "1995" ;
    schema:description "This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995. Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/37201032> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37201032#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37201032#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/32644245> ;
    schema:name "Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings"@en ;
    schema:productID "326712344" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/326712344#PublicationEvent/berlin_new_york_springer_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/37201032#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/3-540-59338-1> ;
    schema:workExample <http://worldcat.org/isbn/9783540492351> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-59338-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/326712344> ;
    .


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/37201032#Meeting/tableaux_95_1995_sankt_goar_germany> # TABLEAUX '95 (1995 : Sankt Goar, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/37201032#Place/sankt_goar_germany> ; # Sankt Goar, Germany)
    schema:name "TABLEAUX '95 (1995 : Sankt Goar, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#Person/baumgartner_peter> # Peter Baumgartner
    a schema:Person ;
    schema:familyName "Baumgartner" ;
    schema:givenName "Peter" ;
    schema:name "Peter Baumgartner" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#Person/hahnle_reiner> # Reiner Hähnle
    a schema:Person ;
    schema:familyName "Hähnle" ;
    schema:givenName "Reiner" ;
    schema:name "Reiner Hähnle" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#Person/posegga_joachim> # Joachim Posegga
    a schema:Person ;
    schema:familyName "Posegga" ;
    schema:givenName "Joachim" ;
    schema:name "Joachim Posegga" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#Place/sankt_goar_germany> # Sankt Goar, Germany)
    a schema:Place ;
    schema:name "Sankt Goar, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/326712344> ; # Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/37201032#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/326712344> ; # Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://id.loc.gov/authorities/subjects/sh85092240> # Nonclassical mathematical logic
    a schema:Intangible ;
    schema:name "Nonclassical mathematical logic"@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/1038606> # Nonclassical mathematical logic
    a schema:Intangible ;
    schema:name "Nonclassical mathematical logic"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
    schema:name "Automatic theorem proving"@en ;
    .

<http://worldcat.org/isbn/9783540492351>
    a schema:ProductModel ;
    schema:isbn "3540492356" ;
    schema:isbn "9783540492351" ;
    .

<http://www.worldcat.org/oclc/32644245>
    a schema:CreativeWork ;
    rdfs:label "Theorem proving with analytic tableaux and related methods." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/326712344> ; # Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/326712344>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/326712344> ; # Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
    schema:dateModified "2016-05-25" ;
    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.