ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
Конференция состояла из трёх секций: алгебры, логики и вычислительной математики. Настоящий доклад был заслушан на третьей секции.