|
|
510(063)
C74
Computer science logic [Electronic resource] : 24th International workshop, CSL 2010, 19th Annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010: proceedings / ed. A. Dawar, H. Veith. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6247). - ISBN 978-3-642-15205-4 : Б. ц.
Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- конференции
См. : Текст издания
Доп.точки доступа:
Dawar, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|