| Shelfclass_id | 4.A |
| Sortkey | LPAR |
| Authors | A. Voronkov |
| Title | LPAR '92: Logic Programming and Automated Reasoning: 3rd International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992: proceedings |
| Publisher | Springer Pub. Co. |
| Year | c1992 |
| Languages | eng |
| Isbn | 038755727X, 354055727X |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 624 |
| Issn | 0302-9743 |
| Description | (Berlin: acid-free paper) (New York: acid-free paper) xiv, 509 p. ill. 25 cm |
| Record date | 20060711 |
| Location | New York |
| Keywords | Logic programming, Automatic theorem proving |