[Нечеткие86] Нечеткие множества и теория возможностей. - М., Советское радио, 1986, - 406 с.
[Николов89] Николов Р., Сендова Е. Начала информатики. Язык ЛОГО. - М., Наука, 1989. - 176 с.
[Нильсон73а] Нильсон Н.Дж. Искусственный интеллект. Методы поиска решений. - М., Мир, 1973, - 272 с.
[Нильсон73б] Нильсон Н.Дж. Методы поиска решений. - М., Мир, 1973
[Нильсон85] Нильсон Н.Дж. Принципы искусственного интеллекта. - М., Радио и связь, 1985. - 280 с.
[НовостиИИ] Новости искусственного интеллекта. - М., Российская Ассоциация искусственного интеллекта, с 1991 (4 раза в год).
[Ньюмен76] Ньюмен У., Спрулл Р. Основы машинной графики. - М., Мир, 1976, - 573 с.
[Обработка89] Обработка нечеткой информации в системах принятия решений. - М., Радио и связь, 1989. - 304 с.
[Оракл92] Сервер ORACLE7 Справочное руководство по языку SQL. Автор: Брайн Линдер, учетный номер 778-70-1292, декабрь 1992, - 680 с.
[Оре80] Оре О. Теория графов. - М., Наука, 1980, - 336 с.
[Осипов90] Осипов Г.С. Инструментарий для экспертных систем. Технология SIMER + MIR. //Программные продукты и системы, 1990, N3, с.23-32
[Осуга89] Осуга С. Обработка знаний. - М., Мир, 1989. - 293 с.
[Пайл84] Пайл Я. Ада - язык встроенных систем. - М., Финансы и статистика, 1984, - 238 с.
[Пакштас89] Пакштас А. Распределенные программные конфигурации. Анализ и разработка. Вильнюс, Мокслас, 1989. - 223 с.
[Перегудов87] Перегудов М.А., Халамайзер А.Я. Бок о бок с компьютером. - М., Высшая школа, 1987
[Першиков91] Першиков В.И., Савинков В.М. Толковый словарь по информатике. Более 10000 терминов. - М., Финансы и статистика,1991,- 543 с.
[Петров67] Петров Ю.А. Логические проблемы абстракций осуществимости. - М., Наука, 1967
[Пиотровский74] Пиотровский Р.Г. Машинная грамматика для АСУ и АИСП. Тюмень, 1974
[Пиотровский75] Пиотровский Р.Г. Текст, машина, человек. - Л., Наука, 1975, - 328 с.
[Питерсон84] Питерсон Дж. Теория сетей Петри и моделирование систем. - М., Мир, 1984. - 264 с.
[Поваляев87] Поваляев С.А. Основы информатики. Справочное пособие. - Минск, изд. Университетское, 1987, - 128 с.
[Пойа76] Пойа Д. Математическое открытие. Решение задач: основные понятия, изучение и преподавание. - М., Наука, 1976, - 448 с.
[Половинкин88] Половинкин А.И. Основы инженерного творчества. - М., Машиностроение, 1988. - 368 с.
[ПоповИ81] Попов И.И., Романенко А.Г. Моделирование информационных систем (теория и приложения). ВИНИТИ, Итоги науки и техники, т.5, - М.,1981
[ПоповЭ82] Попов Э.В. Общение с ЭВМ на естественном языке. - М., Наука, 1982. - 360 с.
[ПоповЮ83] Попов Ю.П., Самарский А.А. Вычислительный эксперимент. //Новое в жизни, науке, технике. Сер. Мат. кибернетика. - М., Знание, 1983, вып.11, с.64
[ПоспеловА81] Поспелов Д.А. Логико-лингвистические модели в управлении. - М., Энергоиздат, 1981
[ПоспеловГ85] Поспелов Г.С., Поспелов Д.А. Искусственный интеллект: прикладные системы. - М., Знание, 1985. - 48 с.
[ПоспеловГ86] Поспелов Г.С. Искусственный интеллект. Новая информационная технология. //Сб: Кибернетика. Становление информатики. -М., Наука, 1986, с.106-120
[Построение87] Построение экспертных систем. - М., Мир, 1987, - 443 с.
[Пратт79] Пратт Т. Языки программирования: Разработка и реализация. - М., Мир, 1979. - 574 с.
[Предстинт80] Представление знаний в системах искусственного интеллекта. //В сб.: Материалы семинаров, МДНТП, - М., 1980
[Предстсис89] Представление знаний и экспертные системы. //Сб. научных трудов. АН СССР, Ленинградский институт информатики и автоматизации. - Л., 1989. - 194 с.
[Приобрзн90] Приобретение знаний. //Под ред. С. Осуги, Ю. Саэки. - М., Мир, 1990. - 304 с.
[Проект97] Проект федерального компонента государственного образовательного стандарта начального общего, основного общего и среднего (полного) образования. Образовательная область «Информатика». - М., Информатика и образование, 1997, N 1, с.3-11
[Простое88] Простое и сложное в программировании. - М., Наука, 1988.- 176с.
[Психология78] Психология машинного зрения. - М., Мир, 1978
[Райан89] Райан Д. Инженерная графика в САПР. - М., Мир, 1989. - 392с.
[Расева72] Расева Е., Сикорский Р. Математика метаматематики. - М., Наука, 1972. - 592 с.
[Рафаэл79] Рафаэл Б. Думающий компьютер. - М., Мир, 1979, - 408 с.
[Речевая89] Речевая информатика. //Сб. ст. - М., Наука, 1989. - 130 с.
[Ржанов83] Ржанов А.В. Требуется уточнить предмет и понятие информатики //Наука в Сибире. 1983, N 35
[Робинсон70] Робинсон Дж. Машинно-ориентированная логика, основанная на принципе резолюции. //Кибернетический сборник. Новая серия.Вып.7, - М., Мир, 1970, с. 194-218
[Роджерс89] Роджерс Д. Алгоритмические основы машинной графики. - М., Мир, 1989. - 512 с.
[Розенфельд72] Розенфельд А. Распознавание и обработка изображений. - М., Мир, 1972
[Рот91] Рот М. Интеллектуальный автомат: компьютер в качестве эксперта. - М., Энергоатомиздат, 1991, - 80 с.
[Рубашкин89] Рубашкин В.Ш. Представление и анализ смысла в интеллектуальных информационных системах. - М., Наука, 1989. - 192 с.
[Рыбина79] Рыбина Г.В., Строганова Н.А. и др. Система представления понятийных знаний с использованием фреймов. //В сб.: Вопросы кибернетики. Интеллектуальные банки данных, - М., 1979
[Сакман73]Сакман Г. Решение задач в системе человек-ЭВМ. -М., Мир, 1973
[Саломаа86] Саломаа А. Жемчужины теории формальных языков. - М., Мир, 1986, 160 с.
[Семантика80] Семантика языков программирования. //Сб. статей. - М., Мир, 1980, - 397 с.
[Сильдмяэ80] Сильдмяэ И.Я. Значение и смысл. АН СССР, - М., 1980
[Сильдмяэ83] Сильдмяэ И.Я. Действительность - текст-знание. //Уч. записки Тарт. ун-та, вып. 621, Тарту, 1983
[Системное67] Системное программирование. //Сб. статей. - М., Советское радио, 1967
[Система92] Система сертификации ГОСТ. Основные положения. Требования к органу по сертификации и порядок его аккредитации. Правила проведения сертификации продукции (общие требования). Требования к испытательной лаборатории и порядке их аккредитации. Правила ведения Государственного Реестра Системы. Государственный комитет Российской Федерации по стандартизации, метрологии и сертификации при президенте Российской Федерации. - М., 1992, - 113 с.
[Системы85] Системы автоматизации проектирования. - М., Мир, 1985
[Скороходько68] Скороходько Э.Ф. и др. Информационно-поисковая система БИТ. - Киев, Наукова думка, 1968
[Скороходько74] Скороходько Э.Ф. Семантические связи в лексике и текстах. //В сб.: Вопросы информационной теории и практики. - М., ВИНИТИ, 1974, N 23
[Скэнлон91] Скэнлон Л. Персональные ЭВМ IBM PC и XT. Программирование на языке ассемблера. - М., Радио и связь, 1991, - 336 с.
[Слейгл73] Слейгл Дж. Искусственный интеллект. Подход на основе эвристического программирования. - М., Мир, 1973, - 320 с.
[Смальян81] Смальян Р. Теория формальных систем. - М., Наука, 1981, - 208с.
[Смирнов72] Смирнов В.А. Формальный вывод и логические исчисления.
- М., Наука, 1972, - 272 с.
[Советский89] Советский энциклопедический словарь. - М., Советская энциклопедия, 1989, - 1632 с.
[Современный81] Современный русский язык. В трех частях. //Учебное пособие. - М., Просвещение, 1981. Часть I. - 192с. Часть II. - 372с. Часть III. - 272с.
[Современный86] Современный компьютер. //Сб. научно-популярных статей. - М., Мир, 1986
[Сойер90] Сойер Б., Фостер Д.Л. Программирование экспертных систем на Паскале. - М., Финансы и статистика, 1990, - 192 с.
[Соколов89] Соколов Е.Н., Вайткявичюс Г.Г. Нейроинтеллект: от нейрона к нейрокомпьютеру. - М., Наука, 1989. - 238с.
[Справочная82] Справочная книга по математической логике. - М., Наука. Ч.1. Теория моделей. 1982, - 392 с. Ч.2. Теория множеств. 1982, - 376 с. Ч.3. Теория рекурсий. 1982,- 360 с. Ч.4. Теория доказательств и конструктивная математика. 1983, - 392 с.
[Справочник90] Справочник. Искусственный интеллект. В трех книгах. Кн.1. Системы общения и экспертные системы. - 462 с. Кн.2. Модели и методы. Кн.3. Программные и аппаратные средства. - М., Радио и связь, 1990
[Степанов64] Ю.С. О предпосылках лингвистической теории значения. - М., Вопросы языкознания, 1964, N 5
[Степанов71] Степанов Ю.С. Семиотика. - М., Наука, 1971
[Стерлинг90] Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М., Мир, 1990, - 235 с.
[Стефик85] Стефик М., Эйкинс Я. и др. Организация экспертных систем. //Кибернетический сборник. Вып.22, - М., Мир, 1985, с.170-220
[Тамм77] Тамм Б.Г., Тыугу Э.Х. Пакеты программ. Изв. АН СССР, Техническая кибернетика, 1977, N 5
[Тамм85] Тамм Б.Г., Тыугу Э.Х. Применение знаний в автоматизированных системах проектирования и управления. //В сб.: Прикладная информатика. Вып. 1(8), - М., Финансы и статистика, 1985
[Таунсенд90] Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. - М., Финансы и статистика, 1990,- 320 с.
[Теоринф89] Теория телетрафика в системах информатики. //Сб. научных трудов. - М., Наука, 1989
[Термин75] Терминологический словарь по информатике. МЦНИТИ, 1975
[Термин89] Терминологический словарь по автоматике, информатике и вычислительной технике. //Справочное пособие для СПТУ. - М., Высшая школа, 1989, - 192 с.
[Тиори85] Тиори Т., Фрей Дж. Проектирование структур баз данных. - М., Мир, 1985. - 230 с.
[Тихонов79] Тихонов А.Н., Арсенин В.Я. Методы решения некорректных задач.-М., Наука, 1979
[Толковый90] Толковый словарь по вычислительным системам. - М., Машиностроение, 1990
[Тоценко90] Тоценко В.Г., Александров А.В., Парамонов Н.Б. Корректность, устойчивость, точность программного обеспечения. - Киев, Наукова думка, 1990, - 199 с.
[Требования84] Требования и спецификации в разработке программ. //В сб. статей. - М., Мир, 1984
[Ту78] Ту Дж., Гонсалес Р. Принципы распознавания образов. - М., Мир, 1978,- 413c
[Турский81] Турский В. Методология программирования. - М., Мир, 1981, 68 с.
[Тыугу77] Тыугу Э.Х. Формирование модели мира в системах искусственного интеллекта. ВИНИТИ, - М., 1977
[Тыугу84] Тыугу Э.Х. Концептуальное программирование. - М., Наука, 1984. - 256 с.
[Уемов78] Уемов А.И. Системный подход и общая теория систем. - М., Мысль, 1978
[Уинстон80] Уинстон П. Искусственный интеллект. - М., Мир, 1980