| Черновики, рукописи, рабочие записки разных лет
Тезисы доклада, 04.01.1985С.С. Лавров, "Автоматизация решения задач на ЭВМ на основе баз знаний" /машинная распечатка/
Доклад (фрагмент), 17.01.1985С.С. Лавров, "Автоматизация решения задач на ЭВМ на основе баз знаний" /машинная распечатка/
Научное эссе, 17.05.1985С.С. Лавров, "Прозрение, или что говорят физики о программировании" (по материалам подборки статей) /машинная распечатка/
Заметка, 14.03.1985С.С. Лавров, "Тем, кто ценит время", Литературная газета /вырезка/
Статья (машинописн. черновик), 10.04.1985Программирование как вид деятельности и предмет обучения
Статья (распечатка), 15.04.1985(?)Программирование как вид деятельности и предмет обучения
Тезисы, 18.04.1985выступления на научно-практической конференции
Статья (машинописн.)Problem solving based on knowledge representation and program synthesis (Acta Cybernetica)
Статья (оттиск), 01.06.1985(?)Problem solving based on knowledge representation and program synthesis (Acta Cybernetica, Tom 7, Fasc. 4, Szeged, 1986)
Статья, 01.03.1985(?)С.С. Лавров. Творчество и алгоритмы. Наука и жизнь, №3, 1985. (ксерокопия, гранки)
РукописьАлгоритмы и творчество (компьютерная модель первой системы)
Рукопись (машинописная), 01.01.1986(?)С.С. Лавров. D-аксиоматизация языка "Декарт" (опубликована в кн. Прикладная информатика, 1987, вып.1)
Статья (машинописн. черновик с рукописн. правкой), 01.01.1986(?)Формализация, лингвистика, логика (Семиотика и информатика, вып. 27, 1986)
Замечания и предложения, 28.01.1986по программе "Основы информатики и вычислительной техники для средней общеобразовательной школы"
Корректура с рукописной правкой, 18.02.1986Представление и использование знаний в автоматизированных системах (Микропроцессорные средства и системы, 1986, №3)
Статья (распечатка), 01.01.1987(?)Решение задач на основе представления знаний и синтеза программ
Статья (машинописн. черновик), 01.01.1989(?)С.С. Лавров, Г.С.Цейтин. Что такое представление и использование знаний в машине? /опубл. в М: ВИНИТИ, 1989, №5/. 2 экз. и рукописный список литературы
Письмо, С. С. Лавров->А.Т. Байкова, 15.10.1997Ответ на рецензию статьи о методах восстановления изображений
Обоснование темы"Разработка автоматизации технологических средств программного обеспечения" (машинописн.)
Статья (распечатка), 14.07.1989-24.07.1989С.С. Лавров. О конечных множествах
1
2
3
4
5
По порядку | По алфавиту | По дате |
