Косовская ТМ. Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения. ТС [Интернет]. 1сен.2010 [цитируется по 19май2024];3(14):58-5. Available from: http://ia.spcras.ru/index.php/sp/article/view/1506