Research Catalog
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
- Title
- 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.).
- Author
- International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
- Publication
- Berlin ; New York : Springer-Verlag, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 90-895 | Offsite |
Details
- Additional Authors
- Stickel, M. E. (Mark E.), 1947-
- Description
- xvi, 688 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in artificial intelligence ; 449
- Uniform Title
- Lecture notes in computer science ; 449.
- Alternative Title
- CADE-10.
- Subjects
- Note
- Spine title: CADE-10.
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSF 90-895
- ISBN
- 0387528857 (U.S. : pbk.)
- 3540528857 (West Germany : pbk.)
- LCCN
- 90010125
- OCLC
- NYPG90-B90659
- Conference
- International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
- Title
- 10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.).
- Imprint
- Berlin ; New York : Springer-Verlag, c1990.
- Series
- Lecture notes in artificial intelligence ; 449Lecture notes in computer science ; 449.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Stickel, M. E. (Mark E.), 1947-
- Added Title
- CADE-10.
- Research Call Number
- JSF 90-895