| Shelfclass_id | 4.A |
| Sortkey | LPAR |
| Authors | Frank Pfenning |
| Title | LPAR '94: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994: proceedings |
| Publisher | Springer Pub. Co. |
| Year | c1994 |
| Languages | eng |
| Isbn | 0387582169, 3540582169 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 822 |
| Issn | 0302-9743 |
| Description | (Berlin) (New York: alk. paper) x, 344 p. 24 cm |
| Record date | 20060711 |
| Location | New York |
| Keywords | Logic programming, Automatic theorem proving |
| Notes | Includes index |