|
|
| ВИДЕОТЕКА |
|
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
|
|||
|
|
|||
|
Iterating model transformers: cycles and fixed points, paradoxes and learning Alexandru Baltag |
|||
|
Язык доклада: английский |
|||