|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Normalisation for some infectious logics with non-standard disjunction elimination rulesтезисы доклада
- Автор: Petrukhin Yaroslav
- Сборник: 10th International Conference Logic and Applications LAP 2021
- Тезисы
- Год издания: 2021
- Первая страница: 83
- Последняя страница: 85
- Добавил в систему: Петрухин Ярослав Игоревич