Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
|aLogic for programming, artificial intelligence, and reasoning|h[electronic resource] :|b9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /|cMatthias Baaz, Andrei Voronkov (eds.).
260
|aBerlin ;|aNew York :|bSpringer,|cc2002.
300
|axiii, 463 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v2514
650
0
|aArtificial intelligence|vCongresses.
650
0
|aAutomatic theorem proving|vCongresses.
650
0
|aLogic programming|vCongresses.
700
1
|aBaaz, Matthias.
700
1
|aVoronkov, Andrei.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/3-540-36078-6
950
|aComputer Science (Lecture Notes in Computer Science)