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