Материалов:
678 583

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

Авторов:
475 470

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

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

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

Тип: Статья


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