DSpace Repository

Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления

Show simple item record

dc.contributor.author Максимова, Л.Л.
dc.contributor.author Шрайнер, П.А.
dc.date.accessioned 2014-10-17T12:03:14Z
dc.date.available 2014-10-17T12:03:14Z
dc.date.issued 2006
dc.identifier.citation Максимова Л.Л., Шрайнер П.А. Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления // Вестник НГУ. Серия: Математика. 2006. Т.6. вып.3. С. 49-58. ru_RU
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/1845
dc.description.abstract В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие эти алгоритмы. ru_RU
dc.language.iso ru ru_RU
dc.publisher Новосибирский государственный университет ru_RU
dc.title Алгоритмы распознавания табличности и предтабличности в расширениях интуиционистского исчисления ru_RU
dc.title.alternative Algorithms of the recognition of the tabularity and pretabularity in the extensions of the intuitionistic calculus ru_RU
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account