| DC Field | Value | Language |
|---|
| dc.contributor.author | Карпач, В. Н. | - |
| dc.date.accessioned | 2017-10-11T09:25:40Z | - |
| dc.date.available | 2017-10-11T09:25:40Z | - |
| dc.date.issued | 2017 | - |
| dc.identifier.citation | Карпач, В. Н. Коллектив агентов доказательства тождеств теории множеств / В. Н. Карпач // Информационные технологии и управление : материалы 53-й научной конференции аспирантов, магистрантов и студентов, Минск, 2–6 мая 2017 г. / Белорусский государственный университет информатики и радиоэлектроники ; редкол. : Л. Ю. Шилин [и др.]. – Минск, 2017. – С. 11. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26326 | - |
| dc.description.abstract | В статье описываются агенты, работающие в общей семантической памяти и необходимые для доказательства тождеств теории множеств, реализованные с использованием технологии OSTIS. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | OSTIS | ru_RU |
| dc.subject | теория множеств | ru_RU |
| dc.subject | доказательство тождеств | ru_RU |
| dc.title | Коллектив агентов доказательства тождеств теории множеств | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | Информационные технологии и управление : материалы 53-й научной конференции аспирантов, магистрантов и студентов (2017)
|
