Shelfclass_id |
4.A |
Sortkey |
LPAR |
Authors |
Robert Nieuwenhuis, A. Voronkov |
Title |
LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001: proceedings |
Publisher |
Springer-Verlag |
Year |
2001 |
Languages |
eng |
Isbn |
3540429573 |
Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
Volume |
2250 |
Issn |
0302-9743 |
Description |
(pbk.) xv, 738 p. ill. 24 cm |
Record date |
20060711 |
Location |
Berlin |
Nlmed |
QA76.63 |
Keywords |
Logic programming, 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/t2250.htm |