Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 16th International conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010: revised selected papers / eds. E. M. Clarke, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6355). - ISBN 978-3-642-17511-4 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Artificial intelligence    Computer science    Artificial intelligence (incl. robotics)    Programming techniques    Software engineering    Logics and meanings of programs    Mathematical logic and formal languages    Programming languages, compilers, interpreters См. : Текст издания Доп.точки доступа: Clarke, E.M. \ed.\; SpringerLink (Online service) Свободных экз. нет