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.)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.9.A96 I57 1988Off-site

Details

Additional Authors
  • Lusk, Ewing.
  • Overbeek, Ross A.
Description
x, 775 p. : ill.; 25 cm.
Subject
  • Automatic theorem proving > Congresses
  • Logic, Symbolic and mathematical > Congresses
ISBN
038719343X (U.S.)
LCCN
88015876
Owning Institutions
Princeton University Library