документы
об архиве
о проекте
Андрей Ершов
Switch to English
Архив
Архив С.С. Лаврова
Научные труды С.С. Лаврова
Статья (распечатка)
Статья (распечатка)
С.С. Лавров. PROBSOLV - решение задач на основе представления знаний и синтеза программ
Оригинальный язык документа: русский
Авторы:
Святослав Сергеевич Лавров
Изображения страниц:
1
2
3
4
Назад
Следующий документ (Черновики (2экз.))
Предыдущий документ (Гранки и препринт)
Switch to English
|
Поиск
|
Расширенный поиск
|
Папки
| Темы
Главная страница
Помощь
Switch to English
Вебмастер
©
ИСИ СО РАН
, 2000-2016