Logic and its applications [Electronic resource] : 4th indian conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / eds. M. Banerjee, A. Seth. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6521). - ISBN 978-3-642-18026-2 : Б. ц. Рубрики: Computer science    Computer software    Logic design    Electronic data processing    Artificial intelligence    Computer science    Artificial intelligence (incl. robotics)    Logics and meanings of programs    Algorithm analysis and problem complexity    Mathematical logic and formal languages    Computing methodologies    Mathematics of computing См. : Текст издания Доп.точки доступа: Banerjee, M. \ed.\; SpringerLink (Online service) Свободных экз. нет