Research Catalog

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996 : proceedings

Title
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds.
Author
TABLEAUX '96 (1996 : Terrasini, Italy)
Publication
Berlin ; New York : Springer, c1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.A96 T33 1996Off-site

Details

Additional Authors
Miglioli, P.
Description
x, 329 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 1071. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 1071.
  • Lecture notes in computer science. Lecture notes in artificial intelligence
Subject
  • Automatic theorem proving > Congresses
  • Nonclassical mathematical logic > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540612084 (pbk. : alk. paper)
LCCN
96017235
OCLC
  • ocm34604201
  • SCSB-2084465
Owning Institutions
Princeton University Library