|
|
510.285(063)
R41
Relations and kleene algebra in computer science [Electronic resource] : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applications of kleene algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. : proceedings / ed. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5827). - ISBN 978-3-642-04639-1 : Б. ц.
Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- алгебра Клини -- конференции
См. : Текст издания
Доп.точки доступа:
Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|