Release:Releases Archive. Вестник ТюмГУ. Физико-математические науки. Информатика (№4, 2012)
About the authors:Alexander G. Ivashko, Dr. Sci. (Tech.), Professor, Department of Program and System Engineering, University of Tyumen; firstname.lastname@example.org
Abstract:The article considers researching the necessity of tableau algorithm changing with aim to reduce algorithm work time, for providing an opportunity of its using for checking large knowledge bases.