[Красилов97в] Красилов А.А. Семантическая грамматика русского языка. //труды конф. Интеллектуальные системы в САПР, ИТК, Минск, 1997, стр. 40-48
[Красилов98] Красилов А.А. Ecology of Knowledge and Intellectual Systems. //XV IFIP World Computer Congress, 31.08-04.09, Vienna-Budapest, 1998
[Красилов99а] Красилов А.А., Григорьев Р.Д. Технология интеллектуального программирования. //Сб. докл.: Высокие технологии в промышленности России, -М., Международная академия информатизации, 1999, с.; и //Инженерный журнал Справочник, N 10 (31), Машиностроение, 1999, с. 34-37.
[Красилов99б] Красилов А.А., Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы использования. Руководство пользователя по инструментарию интеллектуального программирования. Система Интеллсист. Препринт корп. «Галактика», 1999, 250 с.
[Красилов00а] Красилов А.А. Язык и знание. Семантическая грамматика русского языка. //Научно-техническая информация, серия 2, № 10, ВИНИТИ, 2000, с 21-33.
[Красилов99б] Красилов А.А., Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы использования. Руководство пользователя синтезированной программой. Система Интеллсист. Препринт корп. «Галактика», 2001, 150 с.
[Красилов00б] Красилов А.А. 21 век – век информатики, в печати
[Красилов00в] Albert A. Krasilov. The 21st Century - Century of Informatics CSIT 2000 p.p. 177-183
[Красилов01] Красилов А.А. 21 век - век информатики, // в сб.: Высокие технологии в промышленности России, -М., Международная академия информатизации, 2001, с. 199-203
[Красилов02а] Красилов А.А., Григорьев Р.Д. Интеллектуальное программирование, синтез программ и интерфейсы. "Высокие технологии в промышленности России", материалы VIII Международной научно-технической конференции. 11-13 сентября 2002, - М., ОАО ЦНИТИ "ТЕХНОМАШ", с.303-307
[Красилов02б] Krasilov A. A., Grigoriev R.D. Intellectual programming, synthesis of programs and their toolbox. CSIT2002, , 18-20 сент. 2002
[Красилов03а] Красилов А.А., Григорьев Р.Д. Интеллектуальное программирование и автоматический синтез программ. Новосибирск, 9-11 июля 2003, ИСИ СО РАН им. А.П. Ершова (в представлении)
[Красилов03б] Красилов А.А., Григорьев Р.Д. Интеллектуальное и автоматическое программирование. Международный форум по информации. - М., ВИНИТИ, том 28, № 2, с. 30-38
[Красилов03в] Красилов А.А Информация, знание и информатика: концептуальные аспекты. в печати, - М., ВИНИТИ, 2003, 35 с.
[Красилов03г] Красилов А.А Экология информации и знаний. в печати. - М., ВИНИТИ, 2003, 35 с.
[Кристиан89] Кристиан К. Руководство по программированию на языке Модула-2. - М., Мир, 1989. - 464 с.
[Кристофидес78] Кристофидес Н. Теория графов. Алгоритмический подход. - М., Мир, 1978, - 432 с.
[Крон78] Крон Г. Тензорный анализ сетей. - М., Советское радио,1978, - 720с.
[Кузнецов80] Кузнецов И.П. Семантические представления М., Наука, 1980. - 295 с.
[Кузнецов97] Кузнецов А.А. Базовый курс информатики. - М., Информатика и образование, 1997, N 1, с.12-17
[Кук90] Кук Д., Бейз Г. Компьютерная математика. - М., Наука, 1990, - 384 с.
[Кулагина79] Кулагина О.С. Исследования по машинному переводу. - М., Наука, 1979
[Куликовский87] Куликовский Л.Ф., Мотов В.В. Теоретические основы информационных процессов. - М., Высшая школа, 1987, - 248 с.
[Курбаков68] Курбаков К.И. Кодирование и поиск информации в автоматическом словаре. - М., 1968
[Кэмпбел-Келли78] Кэмпбел-Келли М. Введение в макросы. - М., Советское радио, 1978, - 152 с.
[Лавров82] Лавров С.С. Синтез программ. - К., Кибернетика, 1982, N 6
[Лазарев84] Лазарев В.Г., Пийль Е.И., Турута Е.Н. Построение программируемых логических устройств. - М.,Энергоатомиздат,1984,-480 с.
[Ларичев89] Ларичев О.И., Мечитов А.И., Мошкович Е.М., Фуремс Е.М. Выявление экспертных знаний. -М.: Наука. 1989. -128с.
[Левин91] Левин Р., Дранг Д., Эделсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике. - М., Финансы и статистика, 1991, - 240 с.
[Левитин89] Левитин К.Е. Прощание с АЛГОЛом. - М., Знание, 1989, - 224 с.
[Ледли61] Ледли Р.С., Ластед Л.Б. Объективные основания диагноза. Роль символической логики, теории вероятностей и теории статистических решений в анализе мышления врача. - М., ИИЛ, Кибернетический сборник, N 2, 1961
[Лейбниц] Лейбниц Г.В. Собрание сочинений. - М., Мысль. Т.1. 1982, - 638с. Т.2. 1983, - 688 с. Т.3. 1984, - 735 с. Т.4. 1989, - 556с.
[Лейчик77] Лейчик В.М., Смирнов И.П., Суслова И.М. Терминология информатики (теоретические и практические вопросы). Итоги науки и техники, сер. Информатика, т.2, ВИНИТИ, - М., 1977
[Лекции93] Лекции лауреатов премии Тьюринга за первые двадцать лет 1966-1985. - М., Мир, 1993, - 560 с.
[Липский88] Липский В. Комбинаторика для программистов. М., Мир,1988, - 216 с.
[Лисков89] Лисков Б., Гатэг Дж. Использование абстракций и спецификаций при разработке программ. - М., Мир, 1989. - 424 с.
[Ловицкий80] Ловицкий В.А. Система, понимающая естественный язык. - Киев, Кибернетика, 1980, N 6
[Логический90] Логический подход к искусственному интеллекту. От классической логики к логическому программированию. - М., Мир, 1990,-531 с.
[Логический98] Логический подход к искусственному интеллекту. От модальной логики к логике баз данных. Перевод с франц., - М., Мир, 1998, 496 с.
[Логическое88] Логическое программирование. //Сб.: - М., Мир,1988,- 368 с.
[Лозовский82] Лозовский В.С. Экстенсиональная база данных на основе семантических сетей. Изв. АН СССР, Техническая кибернетика, 1982, N 2
[Лорьер90] Лорьер Ж.-Л. Системы искусственного интеллекта. - М., Мир, 1990. - 568 с.
[Льюис79] Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. - М., Мир, 1979, 656 с.
[Любарский90] Любарский Ю.Я. Интеллектуальные информационные системы. - М., Наука, 1990. - 232 с.
[Ляпунов63] Ляпунов А.А., Яблонский С.В. Теоретические проблемы кибернетики. //Проблемы кибернетики, 1963, вып.9, с. 5-22
[Майерс80] Майерс Г. Дж. Надежность программного обеспечения. - М., Мир, 1980
[Майерс82] Майерс Г. Искусство тестирования программ. - М., Финансы и статистика, 1982
[Майерс85] Майерс Г. Архитектура современных ЭВМ. В двух томах. - М., Статистика, 1985, 365+310с.
[Макаровский80] Макаровский Б.Н. Информационные системы и структуры данных. - М., Статистика, 1980
[Маккиман80] Маккиман У., Хорнинг Дж., Уортман Д. Генератор компиляторов. - М., Статистика, 1980, - 528 с.
[Мальковский80] Мальковский М.Г. Словарь системы. //В кн.: Представление знаний в системах искусственного интеллекта. - М., Знание, 1980
[Мальцев86] Мальцев А.И. Алгоритмы и рекурсивные функции. - М., Наука, 1986, - 368 с.
[Мальцев90] Мальцев А.И. Алгебраические системы. - М., Наука, 1990, - 392с.
[Марков84] Марков А.А., Нагорный Н.М. Теория алгорифмов. - М., Наука, 1984, - 432 с.
[Маркус70] Маркус С. Теоретико-множественные модели языков. - М., Наука, 1970, - 332 с.
[Мартин75] Мартин Дж. Сети связи и ЭВМ. Ч.1, 1974. Ч.2, - М., Связь, 1975
[Мартин80] Мартин Дж. Организация баз данных в вычислительных системах. - М., Мир, 1980. -662с.
[Мартин84] Мартин Дж. Планирование развития автоматизированных систем. - М., Финансы и статистика, 1984
[Мартин87] Мартин Дж. Видеотекс и информационное обслуживание общества. - М., Радио и связь, 1987, - 183 с.
[Маслов83] Маслов С.Ю. Асимметрия познавательных механизмов и ее следствия. //В кн.: Семиотика и информатика, 1983, т.20
[Маслов86] Маслов С.Ю. Теория дедуктивных систем и ее применения. - М., Радио и связь, 1986, - 134 с.
[Матемвыв67] Математическая теория логического вывода. - М., Наука, 1967
[Матеммод89] Математическое моделирование. Методы описания и исследования сложных систем. - М., Наука, 1989, - 271 с.
[Матемэнц85] Математическая энциклопедия. Т.т.1-5. - М., Советская энциклопедия, 1985
[Машина86] Машинный фонд русского языка: идеи и суждения. - М., Наука, 1986
[Мейер82] Мейер Б., Бодуэн К. Методы программирования. Т.1,2. - М., Мир, 1982, 358+368 с.
[Мейер87] Мейер Д. Теория реляционных баз данных. - М., Мир, 1987, - 608с.
[Маурер80] Маурер У. Введение в программирование на языке ЛИСП. - М., Мир, 1976, - 104 с.
[Минский78] Минский М. Структура для представления знаний. //В кн.: Психология машинного зрения. - М., Мир, 1987
[Минский79] Минский М. Фреймы и представление знаний. - М., Энергия, 1979, - 150 с.
[Минскин87] Минскин Е.М. От игры к знаниям. //Пособие для учителя. - М., Просвещение, 1987
[Михайлов68а] Михайлов А.И., Черный А.И., Гиляревский Р.С. Основы информатики. - М., Наука, 1968, - 756 c.
[Михайлов80б] Михайлов Б.М. Автоматизация процесса ведения и изготовления документации программного обеспечения в АСУ. - М., Советское радио, 1980
[Моисеев79] Моисеев Н.Н. Математика ставит эксперимент М., Наука, 1979,- 223 с.
[Моисеев85] Моисеев Н.Н. Информатика: новые пути познания законов природы и общества. //Вестник АН СССР, 1985, N 5, с.128-135
[Молокова85] Молокова О.С. Формирование индивидуального объяснения в экспертных системах. //Изв. АН СССР, Техническая кибернетика,1985, N 5
[Моль75] Моль А., Фукс В., Касслер М. Искусство и ЭВМ. - М., Мир, 1975, - 558 с.
[Мульти71] Мультипроцессорные вычислительные системы. - М., Энергия, 1971
[Набебин96] Набебин А.А. Логика и Пролог в дискретной математике. - М., МЭИ, 1996, -452 с.
[Налимов74] Налимов В.В. Вероятностные модели языка. - М., Наука, 1974
[Нейлор91] Нейлор К. Как построить свою экспертную систему. - М., Энергоатомиздат, 1991, - 286 с.
[Непейвода78] Непейвода Н.Н. Соотношение между правилами естественного вывода и операторами алгоритмических языков высокого уровня. ДАН СССР, т.239, 1978, N 4
[Непейвода79] Непейвода Н.Н. Устойчивая истинность и вычислимость. // Кн: Исследования по теории алгорифмов и математической логике, - М., Наука, 1979, с 78 - 89
[Непейвода81] Непейвода Н.Н., Свириденко Д.И. Программирование с логической точки зрения. Т.1 и 2, Новосибирск, ИМ СО АН СССР, 1981
[Непейвода82] Непейвода Н.Н., Свириденко Д.И. К теории синтеза программ. //В сб.: Математическая логика и теория алгоритмов М., Наука, 1982
[Нечаев75] Нечаев В.И. Числовые системы. - М., Просвещение, 1975, - 200с.