Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
|aLogic for programming, artificial intelligence, and reasoning|h[electronic resource] :|b8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /|cRobert Nieuwenhuis, Andrei Voronkov (eds.).
246
30
|aLPAR 2001
260
|aBerlin :|bSpringer,|cc2001.
300
|axv, 738 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2250
650
0
|aLogic programming|vCongresses.
700
1
|aNieuwenhuis, Robert.
700
1
|aVoronkov, Andrei.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-45653-8
950
|aComputer Science (Lecture Notes in Computer Science)