Статья (распечатка)

Статья (распечатка)

С.С. Лавров. PROBSOLV - решение задач на основе представления знаний и синтеза программ