|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Diagnostic formulas for intuitionistic and minimal propositional calculiдоклад на конференции
- Авторы: Plisko V.E., Patlasov M.V.
- Международная Конференция : International Conference "Kolmogorov and Contemporary Mathematics, Moscow, 2003, June 16-21
- Даты проведения конференции: 16-21 июня 2003
- Дата доклада: 19 июня 2003
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Moscow, Russia
- Добавил в систему: Плиско Валерий Егорович