ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Предложена криптографическая интерпретация пропозициональных связок в Основной логике инфонов (Y.Gurevich, I.Neeman, 2008).