|
Вид документа : Монографическая серия Шифр издания : 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
Выходные данные : Berlin ; Heidelberg : Springer, 2008 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4988
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-78913-0: Б.ц.
ГРНТИ : 50.07 УДК : 510.285(063) Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
См. : Текст издания Доп.точки доступа: Berghammer, R. \ed.\; SpringerLink (Online service)
|
|