Research Catalog

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings

Title
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).
Author
International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
Publication
Berlin ; New York : Springer-Verlag, 1988.

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?
TextRequest in advance QA76.9.A96 I57 1988Off-site

Holdings

Details

Additional Authors
  • Lusk, Ewing.
  • Overbeek, Ross A.
Description
x, 775 pages : illustrations; 25 cm.
Series Statement
Lecture notes in computer science ; 310
Uniform Title
Lecture notes in computer science ; 310.
Alternative Title
Ninth International Conference on Automated Deduction.
Subject
  • Automatic theorem proving > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographies.
ISBN
038719343X (U.S.)
LCCN
88015876
OCLC
  • 17952005
  • ocm17952005
Owning Institutions
Columbia University Libraries