Release:Releases Archive. Вестник ТюмГУ. Физико-математические науки. Информатика (№4, 2012)
About the authors:Alexander G. Ivashko, Dr. Sci. (Tech.), Director of the Institute of Mathematics and Computer Science, Head of the Department of Program and System Engineering, University of Tyumen; email@example.com
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.