Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/25958
Full metadata record
DC FieldValueLanguage
dc.contributor.authorЧжоу, Ц.-
dc.date.accessioned2017-10-03T14:02:47Z-
dc.date.available2017-10-03T14:02:47Z-
dc.date.issued2011-
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.urihttps://libeldoc.bsuir.by/handle/123456789/25958-
dc.language.isoruru_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

Files in This Item:
File Description SizeFormat 
Tszyuan_Mashina.PDF466.4 kBAdobe PDFView/Open
Show simple item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.