| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
|
|||
|
Completeness of the logic HC in a special space Anastasiia Onoprienko |
|||
|
Language: English |
|||
