Logic-based program synthesis and transformation [Electronic resource] : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / ed. M. Alpuente. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6564). - ISBN 978-3-642-20551-4 : Б. ц. Рубрики: Computer science    Software engineering    Logic design    Artificial intelligence    Algorithms    Computer science    Software engineering    Programming techniques    Logics and meanings of programs    Artificial intelligence (incl. robotics)    Algorithms См. : Текст издания Доп.точки доступа: Alpuente, M. \ed.\; SpringerLink (Online service) Свободных экз. нет