Вы здесь
Jonker C. M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Formal Knowledge Level Process Model of Requirements Engineering | 1999 | Herlea D. E., Jonker C. M., Treur J., Wijngaards N.J. E. | Lecture Notes in Artificial Intelligence | 19.06.1999 | |||
| СТ | Compositional Verification of Multi-agent Systems: A Formal Analysis of Pro-activeness and Reactiveness | 1998 | Jonker C. M., Treur J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 30.01.1999 | ||
| СТ | Proof-theory for Extensions of Logic Programming | 1996 | Jonker C. M. | Lecture Notes in Artificial Intelligence | 17.04.1996 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Multi-Agent-Based Simulation XI: Revised Selected Papers/ International Workshop, MABS 2010, Toronto, Canada, May 2010 | 2011 | Lecture Notes in Artificial Intelligence |
|
05.04.2011 |