Максимова, Л.Л.; Шрайнер, П.А.
(Новосибирский государственный университет, 2006)
В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие ...