| DC Field | Value | Language |
|---|
| dc.contributor.author | Чжоу Цзюань | - |
| dc.date.accessioned | 2019-11-12T12:08:55Z | - |
| dc.date.available | 2019-11-12T12:08:55Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.citation | Чжоу Цзюань. Машина вывода для модальной логики Лукасевича на основе трехзначного исчисления / Чжоу Цзюань // Информационные технологии и управление : материалы 48–ой научной конференции аспирантов, магистрантов и студентов, Минск, 7 – 11 мая 2012 г. / редкол.: Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2012. – С. 28. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/37178 | - |
| dc.description.abstract | В докладе показывается построение машины вывода для модальной логики. Построение такой машины вывода позволяет модальную систему заменить эквивалентной двоичной системой. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | модальная логика | ru_RU |
| dc.subject | машина вывода | ru_RU |
| dc.subject | нечеткие формулы | ru_RU |
| dc.subject | трехзначное исчисление Лукасевича | ru_RU |
| dc.title | Машина вывода для модальной логики Лукасевича на основе трехзначного исчисления | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | Информационные технологии и управление : материалы 48-й научной конференции аспирантов, магистрантов и студентов (2012)
|
