ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
За доклад "Об алгоритмически разрешимых случаях проблемы выразимости в пропозициональных исчислениях"