Shelfclass_id |
4.A |
Sortkey |
LPAR |
Authors |
Geoff Sutcliffe, A Voronkov |
Title |
LPAR 2005: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings |
Publisher |
Springer-Verlag |
Year |
c2005 |
Languages |
eng |
Isbn |
354030553X, 9783540305538 |
Description |
(pbk.) xiv, 744 p. ill. 24 cm. |
Record date |
20080204 |
Location |
New York |
Keywords |
Logic programming, Automatic theorem proving, Artificial intelligence |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0663/2005936393-d.html |