Research Catalog
Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
- Title
- Logic programming and automated reasoning : 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei Voronkov, ed.
- Author
- LPAR (Conference)
- Publication
- Berlin : Springer, [1993], ©1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Request in advance | QA76.63 .I55 1993 | Off-site |
Holdings
Details
- Additional Authors
- Voronkov, Andrei, 1959-
- Description
- xiii, 386 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 698. Lecture notes in artificial intelligence
- Lecture notes in computer science ; 698
- Uniform Title
- Lecture notes in computer science ; 698. Lecture notes in artificial intelligence.
- Lecture notes in computer science ; 698.
- Subject
- Bibliography (note)
- Includes bibliographical references.
- ISBN
- 3540569448
- 0387569448
- OCLC
- ocm28533902
- Owning Institutions
- Columbia University Libraries