|
004-027.21(063)/R41-498017
Relations and kleene algebra in computer science [Electronic resource] : 10th international conference on relational methods in computer science, and 5th international conference on applications of kleene algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / SpringerLink (Online service) ; eds. R. Berghammer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4988). - ISBN 978-3-540-78913-0 : Б. ц.
Рубрики: Математическая логика--Применение в вычислительной технике--Съезды и конференции
См. : Текст издания Доп.точки доступа: Berghammer, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|