[Ефимов82] Ефимов Е.И. Решение интеллектуальных задач. - М., Наука,1982,- 320 с.
[Жигарев87] Жигарев А.Н., Макарова Н.В., Путинцева М.А. Основы компьютерной грамоты. - Ленинград, Машиностроение ЛО, 1987, 255 с.
[Заде74] Заде Л.А. Основа нового подхода к анализу сложных систем и процессов принятия решений. //В сб.: Математика сегодня. - М., Знание, 1974
[Зайцев85] Зайцев С.С. Транспортировка данных в сетях ЭВМ. - М., Радио и связь, 1985. - 128 с.
[Закревский85] Закревский А.Д., Баландин Р.К. Задание - опознать (распознавание образов). - М., Наука, 1985
[Зализняк77] Зализняк А.А. Грамматический словарь русского языка. - М., Русский язык, 1977
[Зарипов83] Зарипов Р.Х. Машинный поиск вариантов при моделировании творческого процесса. - М., Наука, 1983. - 232 с.
[Зелковиц82] Зелкович М., Шоу А., Гэннон Дж. Принципы разработки программного обеспечения. - М., Мир, 1982, - 368 с.
[Зикманн84] Зикманн Й., Сабо П. Универсальная унификация и классификация эквациональных теорий. //Кибернетический сборник, вып.21, - М., 1984
[Зиновьев70] Зиновьев А.А. Комплексная логика. - М., Наука, 1970, 204 с.
[Ивашко86] Ивашко В.Г., Финн В.К. Экспертные системы и некоторые проблемы их интеллектуализации. //Семиотика и информатика, вып.27, - М., ВИНИТИ, 1986
[Ивин96] Ивин А.А. Логика. - М., Просвещение, 1996, - 207 с.
[Ивлев92] Ивлев Ю.В. Логика. Изд. МГУ, 1992, - 272 с.
[Изерман84] Изерман Р. Цифровые системы управления. - М., Мир, 1984
[Ильин91] Ильин В.П. Вычислительная информатика: открытие науки. - Новосибирск, Наука СО, 1991, - 198 с.
[Ильинский79] Ильинский Н.И., Кузин Л.Т., Стрижевский В.С. Интеллектуальная система программирования. //В кн.: Вопросы кибернетики, вып. 55, - М., АН СССР, 1979
[Ингерман69] Ингерман П. Синтаксически ориентированный транслятор. - М., Мир, 1969, - 175 с.
[Интелл90] Интеллектуализация программных средств. //Сб. ст. Новосибирск, Наука СО ИВЦ, 1990, - 216 с.
[Информ75] Информационные системы общего назначения (аналитический обзор систем управления базами данных). - М., Статистика, 1975, - 472 с.
[Информ90] Информационный бюллетень. Научно-производственное объединение "ЦЕНТРПРО-ГРАММСИСТЕМ", Государственный испытательный центр программных средств вычислительной техники. Тверь, 1990, - 22 с.
[Информатика1] Информатика. Экспресс-информация. - М., ВИНИТИ, с 1979, 48 раз в год.
[Информатика2] Информатика. Научно-технический сборник, сер. Кадровое обеспечение. Отдельные выпуски с 1990 г. - М., ГК ВТИ СССР
[Информатика3] Информатика и вычислительная техника за рубежом. Информационный сборник статей. По выпускам издается с 1990 г. - М.
[Информатика4] Информатика. Серия Автоматизация проектирования. - М., ВИМИ, издается с 1976 сборником статей.
[Информатика5] Информатика. Еженедельное приложение к газете «Первое сентября». ОАО.ПО «Пресса-1» - М., с 1995, на 32 с.
[Информатика91] Информатика в понятиях м терминах. Книга для учащихся старших классов средней школы. - М., Просвещение, 1991, - 208 с.
[Исихара92] Исихара С. Оптические компьютеры. Новый век науки. - М., Наука, 1992, - 96 с.
[Искусс88] Искусственный интеллект: Применение в химии. //Сб. ст. - М., Мир, 1988. - 430 с.
[Искусс91] Искусственный интеллект: Применение в интегрированных производственных системах. - М., Машиностроение, 1991, 544 с.
[Йодан79] Йодан Э. Структурное программирование и конструирование программ. - М., Мир, 1979
[Калиниченко90] Калиниченко Л.А., Рывкин В.М. Машины баз данных и знаний. - М., 1990, - 296с.
[Канторович72] Канторович Л.В., Гостко А.Б. Оптимальное решение в экономике. - М., Наука, 1972
[Карри69] Карри Х.Б. Основание математической логики. - М., Мир, 1069, - 568 с.
[Кархо81] Кархо М.И., Калья А.П., Тыугу Э.Х. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). - М., Финансы и статистика, 1981, - 160 с.
[Касаткин81] Касаткин Л.М. Активные семантические сети в системах знаний роботов. - Киев, Знание, 1981
[Касьянов86] Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. - Новосибирск, Наука СО, 1986, - 344 с.
[Кейслер77] Кейслер Г., Чэн Ч.Ч. Теория моделей. - М., Мир, 1977
[Керниган85] Керниган Б., Плоджер Ф. Инструментальные средства программирования на языке Паскаль, - М., Радио и связь, 1985, 313 с.
[Кибернетика79] Кибернетика. Неограниченные возможности и возможные ограничения. Итоги развития. - М., Наука, 1979
[Кибернетика86] Кибернетика. Становление информатики. //Сб. статей. - М., Наука, 1986, - 192 с.
[Кинг91] Кинг Д. Создание эффективного программного обеспечения. - М., Мир, 1991, - 288 с.
[Кириллов98] Кириллов В.И., Старченко А.А. Логика. Учебник для юридических ВУЗов, - М., Юристъ, 1998, - 255 с.
[Кирсанов82] Кирсанов Б.С., Преображенский А.Б. Организация вычислительного процесса на основе системы представления знаний.
//В сб.: Прикладные и экспериментальные лингвистические процессоры. Новосибирск, 1982
[Кларк87] Кларк К., Маккейб Ф. Введение в логическое программирование на микро-Прологе. - М., Радио и связь, 1987, - 312 с.
[Классификация80] Классификация и кластер. - М., Мир, 1980, - 391 с.
[Клещев82] Клещев А.С., Черняховский М.Ю. Системы представления проблемно-ориентированных знаний. Изв. АН СССР, Техническая кибернетика, N 5, 1982
[Клини73] Клини С.К. Математическая логика. - М., Мир, 1973. - 480 с.
[Клини78] Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. - М., Наука, 1978, - 272 с.
[Клир90] Клир Дж. Системотология. Автоматизация решения системных задач. - М., Радио и связь, 1990, - 540 с.
[Клоксин87] Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ. - М., Мир, 1987, - 336 с.
[Кнут00] Кнут Д.Э. Искусство программирования. Т.1. Основные алгоритмы. - М.-СПб-Киев, Мир, 2000, - 713 с. Т.2. Получисленные алгоритмы. - М.-СПб-Киев, Мир, 2000, - 829 с. Т.3. Сортировка и поиск. - М.-СПб-Киев, Мир, 2000, - 823с. Т.4. Комбинаторные алгоритмы. Т.5. Синтаксические алгоритмы. (в печати)
[Ковальски90] Ковальски Р. Логика в решении проблем. - М., Наука, 1990, - 279 с.
[Когаловский92] Когаловский М.Р. Технология баз данных на персональных ЭВМ. - М., Финансы и статистика, 1992, - 224 с.
[Колин75] Колин А. Введение в операционные системы. - М., Мир, 1975, - 116 с.
[Коллинз86] Коллинз Г., Блэй Дж. Структурные методы разработки систем: от стратегического планирования до тестирования. - М., Финансы и статистика, 1986
[Колмогоров65] Колмогоров А.Н. Три подхода к определению понятия "количество информации". //В кн.: Проблемы передачи информации, т.1, вып.1, - М., 1965
[Компьютер86] Компьютерная алгебра. Символьные и алгебраические вычисления. //Сб. статей. - М., Мир, 1986, - 392 с.
[Компьютер88] Компьютерные игры. - Л., Лениздат, 1988, - 168 с.
[Компьютер90] Компьютеры и познание: очерки по когнитологии. //Сб. статетй. - М., Наука, 1990, - 128 с.
[Кондаков71] Кондаков Н.И. Логический словарь. - М., Наука, 1971, - 656с.
[Кондратов87] Кондратов А.М. Электронный разум. Очерк исследований по проблеме искусственного интеллекта. - М., Знание, 1987, - 170с.
[Кондрашина79] Кондрашина Е.Ю. Элементы семантического представления локативных связей. //В кн.: Новые задачи в информатике. Новосибирск, 1979
[Кондрашина89] Кондрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление знаний о времени и пространстве в интеллектуальных системах. - М., Наука, 1989, - 328 с.
[Конторов93] Конторов Д.С., Конторов М.Д., Слока В.К. Радиоинформатика. - М., Радио и связь, 1993, - 296 с.
[Косарев89] Косарев Ю.А. Естественная форма диалога с ЭВМ. - Л., Машиностроение ЛО, 1989. – 144с.
[КотовВЕ84] Котов В.Е. Сети Петри. - М., Наука, 1984. - 160 с.
[КотовВЕ91] Котов В.Е., Сабельфельд В.К. Теория схем программ. - М., Наука, 1991, - 248 с.
[КотовРГ79] Котов Р.Г., Якушин Б.В. Языки информационных систем. - М., Наука, 1979
[КотовЮВ88] Котов Ю.В. Как рисует машина. - М., Наука, 1988
[Коуги85] Коуги П.М. Архитектура конвейерных ЭВМ. - М., Радио и связь, 1985
[Коутс90] Коутс Р., Влейминк И. Интерфейс "человек-компьютер". - М., Мир, 1990, - 501 с.
[Коэн75] Коэн Ф., Милопулос Д., Борджиа А. Некоторые аспекты представления знаний. //Тр. IV МОКИИ, т.2, - М., 1975, т.10.
[Крайзель81] Крайзель Г. Исследования по теории доказательств. - М., Мир, 1981
[Крайзмер68] Крайзмер Л.П., Матюхин С.А., Майоркин С.Г. Память кибернетических систем (основы мнемологии). - Л., 1968
[Крамм89] Крамм Р. Системы управления базами данных dBASEII и dBASEIII для персональных компьютеров. М., Финансы и статистика, 1989, - 384 с.
[Красилов56а] Красилов А., Наголкин А.Н., Князев Б.А., Толстых Е.Т., Кукин В.И. Метод автоматического программирования на автоматической быстродействующей цифровой вычислительной машине. Рукопись МКБ «Стрела», 1956, 51 с.
[Красилов56б] Красилов А., Федосеев В., Закамский В., Воронова А., Ганина А., Гусева. Программа для автоматического программирования задач на машине СТ-2 (Программирующая программа № 1). Рукопись МКБ «Стрела», 1956, 64 с.
[Красилов59] Козлов С.И., Красилов А.А. Электронные вычислительные машины в подготовке производства. //Производственно технический бюллетень, N 10, 1959, - М., Дом техники, с.62-64
[Красилов67] Красилов А.А. Курс программирования на языке АЛГОЛ. Препринт ЦКБ «Алмаз», 1967, - 119 с.
[Красилов68а] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-1. Препринт ЦКБ «Алмаз», 1968, - 180 с.
[Красилов 68б] Богомаз Н.А., Красилов А.А. Система команд вычислительной машины М-220. Препринт ЦКБ "Алмаз", 1968, - 91 с.
[Красилов70а] Красилов А.А., Дригваль Г.П. Вопросы автоматизации программирования для ЦИМ. Тр. конф. - Таганрог., 1970
[Красилов706] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Репникова Л.А. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-2. Препринт ЦКБ «Алмаз», 1968, - 116 с.
[Красилов70в] Красилов А.А., Ксенофонтов Ю.И., Лейтес В.Л. Репникова Л.А. Система автоматизации программирования для вычислительной машины М-222. Алгоритм-3. Препринт ЦКБ «Алмаз», 1968, - 24 с.