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.).
By: (16th : LPAR (Conference) (16th : 2010 : Dakar, Senegal).
Contributor(s): Clarke, Edmund M., Jr. (Edmund Melson) | Voronkov, Andrei.
Material type:
TextSeries: Lecture notes in computer science: 6355.; Lecture notes in computer scienceLecture notes in artificial intelligence: ; LNCS sublibrarySL 7Artificial intelligence: Publisher: Berlin ; New York : Springer, 2010Description: x, 516 p. : ill. ; 24 cm.ISBN: 9783642175107 (pbk. : acidfree paper); 3642175104 (pbk. : acidfree paper).Subject(s): Logic programming -- Congresses. -- School of Pure and Applied Sciences | Artificial intelligence -- Congresses. -- School of Pure and Applied Sciences | Automatic theorem proving -- Congresses. -- School of Pure and Applied SciencesDDC classification: 006.3 Also issued online.
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Long Loan Book
|
Kirinyaga University Library | QA76.63 C53 2010 (Browse shelf) | Available | KYU/2021/8572 |
Total holds: 0
Includes bibliographical references and index.
Also issued online.
Open Library: