Полное описание
>
Relational methods in computer science : 8th International seminar on relational methods in computer science, 3rd International workshop on applications of Kleene algebra and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005: selected revised papers / SpringerLink (Online service) ; ed. W. MacCaull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3929). - URL: http://dx.doi.org/10.1007/11734673. - ISBN 978-3-540-33340-1.
ГРНТИ | УДК | |
50.07 | 004.02(062) |
Рубрики:
Вычислительная техника -- Математические методы -- Съезды и конференции
Доп. точки доступа:
MacCaull, W.\ed.\
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/11734673
Просмотр издания