| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
|
|||
|
Computational complexity of theories of residuated structures Dmitry Shkatov |
|||
|
Язык доклада: английский |
|||