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