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