000 02100cam a22004577a 4500
999 _c4718
_d4718
001 16516866
003 OSt
005 20250924152632.0
008 101025s2010 gw a b 101 0 eng d
010 _a 2010939948
016 7 _a015731229
_2Uk
020 _a9783642175107 (pbk. : acidfree paper)
020 _a3642175104 (pbk. : acidfree paper)
035 _a(OCoLC)ocn690088993
040 _aKYU
_beng
_cKYUL
_dKYUL
_dOHX
_dAZS
_dDGU
_dUKMGB
_dDLC
042 _alccopycat
050 0 0 _aQA76.63
_b.L73 2010
082 0 0 _a006.3
_223
111 2 _aLPAR (Conference)
_n(16th :
_d2010 :
_cDakar, Senegal)
245 1 0 _aLogic for programming, artificial intelligence, and reasoning :
_b16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers /
_cEdmund M. Clarke, Andrei Voronkov (eds.).
260 _aBerlin ;
_aNew York :
_bSpringer,
_c2010.
300 _ax, 516 p. :
_bill. ;
_c24 cm.
490 1 _aLecture notes in computer science,
_x0302-9743 ;
_v6355
490 1 _aLecture notes in artificial intelligence
490 1 _aLNCS sublibrary. SL 7, Artificial intelligence
504 _aIncludes bibliographical references and index.
530 _aAlso issued online.
650 0 _aLogic programming
_vCongresses.
_2Computer Science
_xSchool of Pure and Applied Sciences
650 0 _aArtificial intelligence
_vCongresses.
_2Computer Science
_xSchool of Pure and Applied Sciences
650 0 _aAutomatic theorem proving
_vCongresses.
_2Computer Science
_xSchool of Pure and Applied Sciences
700 1 _aClarke, Edmund M.,
_cJr.
_q(Edmund Melson),
_d1945-2020.
700 1 _aVoronkov, Andrei,
_d1959-
830 0 _aLecture notes in computer science ;
_v6355.
830 0 _aLecture notes in computer science.
_pLecture notes in artificial intelligence.
830 0 _aLNCS sublibrary.
_nSL 7,
_pArtificial intelligence.
906 _a7
_bcbc
_ccopycat
_d2
_encip
_f20
_gy-gencatlg
936 _aPR 700051427
942 _2lcc
_cLLB