Shelfclass_id |
4.A |
Sortkey |
LPAR |
Authors |
Matthias Baaz, A. Voronkov |
Title |
LPAR 2002: Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002: proceedings |
Publisher |
Springer-Verlag |
Year |
c2002 |
Languages |
eng |
Isbn |
3540000100 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
2514 |
Issn |
0302-9743 |
Description |
(softcover: alk. paper) xiii, 463 p. ill. 24 cm |
Record date |
20060711 |
Location |
New York |
Keywords |
Logic programming, Artificial intelligence, Automatic theorem proving, WWW-All Online Materials in CLAS, WWW-Books, WWW-Computer Science E-materials, WWW-L-titles |
Urlnote |
Go to Logic for programming, artificial intelligence, and reasoning [electronic book] |
Urls |
http://link.springer-ny.com/link/service/series/0558/tocs/t2514.htm |