|
|
Вид документа : Монографическая серия
Шифр издания : 510(063)/D43-693858
Заглавие : Deontic logic in computer science [Electronic resource]
: 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6181
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14183-6: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--конференции
См. : Текст издания
Доп.точки доступа:
Governatori, G. \ed.\; SpringerLink (Online service)
|
|