Research Catalog
Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
- Title
- Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak.
- Author
- International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)
- Publication
- Berlin ; New York : Springer-Verlag, 1984.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 85-302 | Offsite |
Details
- Additional Authors
- Shostak, Robert, 1931-
- Description
- vi, 508 p.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 170
- Alternative Title
- 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
- Subject
- Bibliography (note)
- Includes bibliographies.
- Call Number
- JSE 85-302
- ISBN
- 0387960228 (U.S. : pbk.)
- LCCN
- 84005441
- OCLC
- 10697234
- 10697234
- Conference
- International Conference on Automated Deduction (7th : 1984 : Napa, Calif.)
- Title
- Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak.
- Imprint
- Berlin ; New York : Springer-Verlag, 1984.
- Series
- Lecture notes in computer science ; 170
- Bibliography
- Includes bibliographies.
- Added Author
- Shostak, Robert, 1931-
- Added Title
- 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984.
- Research Call Number
- JSE 85-302