Вы здесь

Главная

Computational logic in Multi-Agent Systems: Proc./15th International Workshop, CLIMA XV, Prague, Czech Republic, August 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
допустимый
семантика
алгоритм
argumentation networks
динамический
логика программирования
представление знаний
модальная логика
model checking
мультиагентная система
нормативная система
спецификация
верификация
Стр.: 
199 p.
Редактор: 
Bulling N.
Van Der Torre L.
Villata S.
Jamroga W.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
8624
Карточка: 

Computational logic in Multi-Agent Systems: Proc./15th International Workshop, CLIMA XV, Prague, Czech Republic, August 2014Ed. by Bulling N., Van Der Torre L., Villata S., Jamroga W..-Berlin.: Springer, 2014.-Vol. 8624.-199 p.-(Lecture Notes in Artificial Intelligence).

Таблица в старой библиотеке: 
MONO10 790