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