Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения

Research output: Contribution to journal › Article › peer-review

Original language	Undefined
Pages (from-to)	58 – 75
Journal	Труды СПИИРАН: SPIIRAS Proceedings
Issue number	14
State	Published - 2010

ID: 5161342