Logic for programming, artificial intelligence, and reasoning [Electronic resource] : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / eds.: C. G. Fermüller, A. Voronkov. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6397). - ISBN 978-3-642-16242-8 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Artificial intelligence    Computer science    Artificial intelligence (incl. robotics)    Software engineering    Logics and meanings of programs    Mathematical logic and formal languages    Programming techniques    Programming languages, compilers, interpreters См. : Текст издания Доп.точки доступа: Fermüller, C.G. \ed.\; SpringerLink (Online service) Свободных экз. нет