|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Критерий неявной полноты в трехзначной логикедоклад на конференции
- Автор: Старостин М.В.
- Международная Конференция : Двенадцатый Международный научный семинар «Дискретная математика и ее приложения» имени академика О. Б. Лупанова
- Даты проведения конференции: 20-25 июня 2016
- Дата доклада: 22 июня 2016
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: МГУ, Russia
-
Аннотация доклада:
Сформулирован критерий неявной полноты в трехзначной логике P_3 в терминах неявно предполных классов.
- Добавил в систему: Старостин Михаил Васильевич