Тип файла: |
doc |
Дата файла: |
|
Размер: |
400 kb |
Дата загрузки: |
05.03.2008 |
Источник: |
Вестник РАН |
Владелец авторского права: |
Вестник РАН |
Описание: |
Публикация из журнала "Вестник РАН". Название: Научные основы доказательного программирования. Научное сообщение А. П. ЕРШОВА |
|
|