| DC Field | Value | Language |
|---|
| dc.contributor.author | Чжоу, Ц. | - |
| dc.date.accessioned | 2017-10-03T14:02:47Z | - |
| dc.date.available | 2017-10-03T14:02:47Z | - |
| dc.date.issued | 2011 | - |
| dc.identifier.citation | Чжоу, Ц. Машина вывода для модальной логики Льюиса / Ц. Чжоу // Информационные технологии и системы 2011 (ИТС 2011) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 26 октября 2011 г. = Information Technologies and Systems 2011 (ITS 2011) : Proceeding of The International Conference, BSUIR, Minsk, 26th October 2011 / редкол.: Л. Ю. Шилин [и другие]. – Минск : БГУИР, 2011. – C. 209. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/25958 | - |
| 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.title | Машина вывода для модальной логики Льюиса | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2011
|
