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