Shelfclass_id |
4.A |
Sortkey |
LPAR |
Authors |
Harald Ganzinger, David McAllester, Andrei Voronkov |
Title |
LPAR '99: Logic for Programming and Automated Reasoning: 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999: proceedings |
Publisher |
Springer-Verlag |
Year |
c1999 |
Languages |
eng |
Isbn |
3540664920 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
1705 |
Issn |
0302-9743 |
Description |
(softcover: acid-free paper) xii, 395 p. ill. 24 cm |
Record date |
20060711 |
Location |
New York |
Keywords |
Logic programming, Automatic theorem proving |
Notes |
Earlier conferences titled: Logic programming and automated reasoning |