Coverart for item
The Resource Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings, Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings, Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds

Label
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Title
Theorem proving with analytic tableaux and related methods
Title remainder
4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings
Statement of responsibility
Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
NRU
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.A96
LC item number
T33 1995
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
TABLEAUX '95
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Baumgartner, Peter
  • Hähnle, Reiner
  • Posegga, Joachim
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
918.
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Nonclassical mathematical logic
  • Logic, Symbolic and mathematical
  • logique linéaire
  • sémantique
  • tableau sémantique
  • logique modale
  • tableau
  • démonstration théorème
  • théorie démonstration
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Nonclassical mathematical logic
  • Automatische bewijsvoering
  • Théorèmes
  • Logique mathématique
  • Logique mathématique non classique
  • Automatisches Beweisverfahren
  • Kongreß
Label
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings, Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Issues in Theorem Proving Based on the Connection Method / W. Bibel, S. Bruning, U. Egly, D. Korn and T. Rath -- Rigid E-Unification Simplified / Eric de Kogel -- Generating Finite Counter Examples with Semantic Tableaux / Stefan Klingenbeck -- Semantic Tableaus for Inheritance Nets / Ingrid Neumann -- Using Connection Method in Modal Logics: Some Advantages / Stephane Demri -- Labelled Tableaux for Multi-Modal Logics / Guido Governatori -- Refutation systems for propositional modal logics / P. Miglioli, U. Moscato and M. Ornaghi -- On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs / Stephan Schmitt and Christoph Kreitz -- A Connection Based Proof Method for Intuitionistic Logic / Jens Otten and Christoph Kreitz -- Tableau for Intuitionistic Predicate Logic as Metatheory / Judith Underwood -- Model Building and Interactive Theory Discovery / Ricardo Caferra and Nicolas Peltier -- Link Deletion in Model Elimination / Klaus Mayr
Dimensions
24 cm.
Extent
x, 352 pages
Isbn
9783540593386
Lccn
95174471
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)32644245
  • (OCoLC)ocm32644245
Label
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings, Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Issues in Theorem Proving Based on the Connection Method / W. Bibel, S. Bruning, U. Egly, D. Korn and T. Rath -- Rigid E-Unification Simplified / Eric de Kogel -- Generating Finite Counter Examples with Semantic Tableaux / Stefan Klingenbeck -- Semantic Tableaus for Inheritance Nets / Ingrid Neumann -- Using Connection Method in Modal Logics: Some Advantages / Stephane Demri -- Labelled Tableaux for Multi-Modal Logics / Guido Governatori -- Refutation systems for propositional modal logics / P. Miglioli, U. Moscato and M. Ornaghi -- On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs / Stephan Schmitt and Christoph Kreitz -- A Connection Based Proof Method for Intuitionistic Logic / Jens Otten and Christoph Kreitz -- Tableau for Intuitionistic Predicate Logic as Metatheory / Judith Underwood -- Model Building and Interactive Theory Discovery / Ricardo Caferra and Nicolas Peltier -- Link Deletion in Model Elimination / Klaus Mayr
Dimensions
24 cm.
Extent
x, 352 pages
Isbn
9783540593386
Lccn
95174471
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)32644245
  • (OCoLC)ocm32644245

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...