https://libeldoc.bsuir.by/handle/123456789/25958| Title: | Машина вывода для модальной логики Льюиса |
| Authors: | Чжоу, Ц. |
| Keywords: | материалы конференции;логика;модальная логика;модальности |
| Issue Date: | 2011 |
| Publisher: | БГУИР |
| 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. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/25958 |
| Appears in Collections: | ИТС 2011 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Tszyuan_Mashina.PDF | 466.4 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.