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
- New York : Springer-Verlag, 1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.A96 I57 1990 | Off-site |
Holdings
Details
- Additional Authors
- Stickel, M. E. (Mark E.), 1947-
- Description
- xvi, 688 pages; 24 cm.
- Series Statement
- Lecture notes in computer science ; 449. Lecture notes in artificial intelligence
- Uniform Title
- Lecture notes in computer science ; 449.
- Lecture notes in computer science. Lecture notes in artificial intelligence.
- Subjects
- Bibliography (note)
- Includes bibliographies and index.
- ISBN
- 0387528857
- LCCN
- 90010125
- OCLC
- 508045805
- ocn508045805
- Owning Institutions
- Columbia University Libraries