| Shelfclass_id | 4.A |
| Sortkey | LPAR |
| Authors | A. Voronkov |
| Title | LPAR '93: Logic Programming and Automated Reasoning: 4th International Conference LPAR '93, St. Petersburg, Russia, July 13-20, 1993: proceedings |
| Publisher | Springer Pub. Co. |
| Year | c1993 |
| Languages | eng |
| Isbn | 0387569448, 3540569448 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 698 |
| Issn | 0302-9743 |
| Description | (Berlin) (New York) xiii, 386 p. ill. 24 cm |
| Record date | 20060711 |
| Location | New York |
| Nlmed | QA76.63 |
| Keywords | Logic programming, Automatic theorem proving |