|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Diagnostic formulas for intuitionistic and minimal propositional calculiтезисы доклада
- Авторы: Patlasov M.V., Plisko V.E.
- Сборник: Proc. Internat. Conf. "Kolmogorov and Contemporary Mathematics" in commemoration of the Centenary Anniversary of A.N.Kolmogorov. Moscow. 16-21 June 2003
- Тезисы
- Год издания: 2003
- Место издания: Москва
- Первая страница: 691
- Последняя страница: 692
- Добавил в систему: Плиско Валерий Егорович