| Title: | Коллектив агентов доказательства тождеств теории множеств |
| Authors: | Карпач, В. Н. |
| Keywords: | материалы конференций;OSTIS;теория множеств;доказательство тождеств |
| Issue Date: | 2017 |
| Publisher: | БГУИР |
| Citation: | Карпач, В. Н. Коллектив агентов доказательства тождеств теории множеств / В. Н. Карпач // Информационные технологии и управление : материалы 53-й научной конференции аспирантов, магистрантов и студентов, Минск, 2–6 мая 2017 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2017. – С. 11. |
| Abstract: | В статье описываются агенты, работающие в общей семантической памяти и необходимые для доказательства тождеств теории множеств, реализованные с использованием технологии OSTIS. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26326 |
| Appears in Collections: | Информационные технологии и управление : материалы 53-й научной конференции аспирантов, магистрантов и студентов (2017)
|
