Вы здесь

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