02100cam a22004577a 4500 4718 4718 16516866 OSt 20250924152632.0 101025s2010 gw a b 101 0 eng d 2010939948 015731229 Uk 9783642175107 (pbk. : acidfree paper) 3642175104 (pbk. : acidfree paper) (OCoLC)ocn690088993 KYU eng KYUL KYUL OHX AZS DGU UKMGB DLC lccopycat QA76.63 .L73 2010 006.3 23 LPAR (Conference) (16th : 2010 : Dakar, Senegal) Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / Edmund M. Clarke, Andrei Voronkov (eds.). Berlin ; New York : Springer, 2010. x, 516 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 6355 Lecture notes in artificial intelligence LNCS sublibrary. SL 7, Artificial intelligence Includes bibliographical references and index. Also issued online. Logic programming Congresses. Computer Science School of Pure and Applied Sciences Artificial intelligence Congresses. Computer Science School of Pure and Applied Sciences Automatic theorem proving Congresses. Computer Science School of Pure and Applied Sciences Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020. Voronkov, Andrei, 1959- Lecture notes in computer science ; 6355. Lecture notes in computer science. Lecture notes in artificial intelligence. LNCS sublibrary. SL 7, Artificial intelligence. 7 cbc copycat 2 ncip 20 y-gencatlg PR 700051427 lcc LLB 0 0 lcc 0 0 KyUCL KyUCL 2021-05-11 11260.00 2 QA76.63 C53 2010 KYU/2021/8572 2024-10-23 2024-10-16 2021-05-11 LLB