Вы здесь
Bordini R. H.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Model Checking Multi-Agent Programs with CASP | 2003 | Bordini R. H., Fisher M., Pardavila C., Visser W., Wooldridge M. | Lecture Notes in Computer Science | 19.09.2003 |