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, c1988.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 88-2871 | Offsite |
Details
- Additional Authors
- Description
- x, 775 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 310
- Alternative Title
- Ninth International Conference on Automated Deduction.
- Subject
- Bibliography (note)
- Includes bibliographies.
- Call Number
- JSE 88-2871
- ISBN
- 038719343X (U.S.)
- LCCN
- 88015876
- OCLC
- 17952005
- NYPG88-B56339
- Conference
- International Conference on Automated Deduction (9th : 1988 : Argonne, Ill.)
- Title
- 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).
- Imprint
- Berlin ; New York : Springer-Verlag, c1988.
- Series
- Lecture notes in computer science ; 310
- Bibliography
- Includes bibliographies.
- Added Author
- Lusk, Ewing.Overbeek, Ross A.
- Added Title
- Ninth International Conference on Automated Deduction.
- Research Call Number
- JSE 88-2871