Документы, связанные с Святослав Сергеевич Лавров

Статья (распечатка)
С.С. Лавров. PROBSOLV - решение задач на основе представления знаний и синтеза программ
Черновики (2экз.), 01.01.1998(?)
С.С. Лавров. Научная автобиография.
От автора и рукопись статьи
С.С. Лавров. Объектно-ориентированное программирование. Санкт-Петербург, 1998.
Учебное пособие, 21.09.1999
С.С. Лавров. Лекции по теории программирование Санкт-Петербург, 1999, изд-во НЕСТОР, 108 с.
Доклад-29.05.2000
С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.
Препринт, 10.06.2000
С.С. Лавров. Объектно-ориентированное программирование. (Сообщения ИПА РАН №135б СПб, 2000)
Статья
Л.В. Городняя, С.С. Лавров. Функциональное программирование (продолжение серии статей со сквозной нумерацией разделов, публикуемых в журнале "Компьютерные инструменты в образовании" в 2002 году)
Письмо, В. М. Глушков->Г. И. Марчук, 01.02.1967
Сообщает список национальных представителей СССР, которым советские авторы должны адресовать свои доклады, подготовленные для Конгресса ИФИП-68.
Информационное письмо, Е. Н. Деканосидзе ->Г. И. Марчук, 19.01.1968
о планируемой зимней школе по универсальным алгоритмическим языкам.
Анкеты, 01.01.1970

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016