Показать сокращенную информацию
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 |