Полное описание
>
Logical foundations of computer science : international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009: proceedings / eds. S. Artemov, A. Nerode. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5407). - URL: http://dx.doi.org/10.1007/978-3-540-92687-0. - ISBN 978-3-540-92687-0.
ГРНТИ | УДК | |
50.07 | 510.285(062) |
Рубрики:
Математическая логика -- Применение в вычислительной технике -- Съезды и конференции
Доп. точки доступа:
Artemov, S.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/978-3-540-92687-0
Просмотр издания