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

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

Авторов:
761 409

Deductive machine for modal logic in a module of a virtual teacher

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

Дата публикации в реестре: 2020-03-03T07:03:38Z

Тип: Article


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