Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Машина вывода для модальной логики Льюиса

Чжоу, Ц.

Дата публикации: 2011

Дата публикации в реестре: 2021-08-05T17:30:59Z

Ключевые слова:
материалы конференции, логика, модальная логика, модальности

Тип: Статья

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core