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

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

Аннотация:

В статье описываются агенты, работающие в общей семантической памяти и необходимые для доказательства тождеств теории множеств, реализованные с использованием технологии OSTIS.

Тип: Статья