Rainbow of computer science [Electronic resource] : dedicated to Hermann Maurer on the occasion of his 70th birthday / ed. C. S. Calude [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6570). - ISBN 978-3-642-19391-0 : Б. ц. Рубрики: Computer science    Information theory    Logic design    Artificial intelligence    Computer science    Theory of computation    Logics and meanings of programs    Mathematical logic and formal languages    User interfaces and human computer interaction    Artificial intelligence (incl. robotics)    Computers and society См. : Текст издания Доп.точки доступа: Calude, C.S. \ed.\; SpringerLink (Online service) Свободных экз. нет