Т. 6

Т. 6

Bibliographic Details
Parent link:	Вычислительные науки/ Академия наук СССР (АН СССР), Всесоюзный институт научной и технической информации (ВИНИТИ) ; под ред. П. В. Нестерова. Т. 6.— , 1989-
Published:	1991
Subjects:	техника вычислительные науки логическое программирование семантика языки отрицание логические программы моделирование вычисления
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=200316

Similar Items

Т. 4
Published: (1990)

Введение в логическое программирование
by: Хоггер К. Дж. Кристофер Джон
Published: (Москва, Мир, 1988)

Вып. 120 : Логические методы в программировании
Published: (1987)

Вып. 129 : Теория алгоритмов и её приложения
Published: (1989)

Парадигмы программирования: анализ и сравнение монография
by: Городняя Л. В. Лидия Васильевна
Published: (Новосибирск, Изд-во СО РАН, 2017)

Аппаратно-программные средства процессоров логического вывода
by: Вишняков В. А. Владимир Анатольевич
Published: (Москва, Радио и связь, 1991)

Введение в логическое программирование
by: Дженесерет М.
Published: (Москва, ДМК Пресс, 2022)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2021)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2024)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2022)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2025)

Функциональное программирование учебник и практикум для вузов
by: Кубенский А. А. Александр Александрович
Published: (Москва, Юрайт, 2023)

Вып. 124 : Языки спецификаций и логическое программирование
Published: (1988)

Логическое программирование и моделирование систем учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Логическое управление с использованием ЭВМ тезисы докладов XIV Всесоюзного симпозиума
Published: (Москва, Изд-во Московского гос. горного ун-та, 1991)

Теория и практика языков программирования учебник
by: Орлов С. А. Сергей Александрович
Published: (Санкт-Петербург, Питер, 2013)

Логическое программирование. Язык Пролог тексты лекций
by: Волчёнков Н. Г.
Published: (Москва, НИЯУ МИФИ, 2015)

Применение методов математической логики. Секция : Представление знаний и синтез программ тезисы докладов IV Всесоюзной конференции
Published: (Таллин, Изд-во ин-та кибернетики, 1986)

Функциональное и логическое программирование. Ч. 1 учебное пособие
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2010)

Логическое программирование и моделирование систем учебное пособие электронный ресурс
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)

Преобразование кодовых сигналов учебное пособие
by: Филипчук Е. В. Евгений Викторович
Published: (Москва, Изд-во МИФИ, 1979)

Логика и компьютер
Published: (Москва, Наука, 1995)

Логическое программирование сборник статей пер. с англ. и фр.
Published: (Москва, Мир, 1988)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2022)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2025)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2021)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2023)

Программирование. Функциональный подход учебник и практикум для вузов
by: Зыков С. В. Сергей Викторович
Published: (Москва, Юрайт, 2024)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ диссертация на соискание ученой степени кандидата технических наук спец. 05.13.01
by: Пинжин А. Е. Алексей Евгеньевич
Published: (Томск, 2009)

Методы и средства алгебраического и логического программирования сборник научных трудов
Published: (Киев, Изд-во ИК, 1990)

Новая эра программирования для современных контроллеров
by: Шарифуззаман М.
Published: (2011)

Алгоритмы интеллектуальной обработки информации и структурного синтеза программ автореферат диссертации на соискание ученой степени кандидата технических наук спец. 05.13.01
by: Пинжин А. Е. Алексей Евгеньевич
Published: (Томск, 2009)

Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация
Published: (1998)

Теория и практика логического программирования на языке Visual Prolog 7 учебное пособие
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2013)

Настраиваемые модули для управляющих логических устройств
by: Артюхов В. Л. Валерий Леонидович
Published: (Ленинград, Энергоиздат, 1981)

Логическое проектирование дискретных устройств сборник научных трудов
Published: (Минск, Изд-во ИТК, 1984)

Микропроцессорная техника учебник для среднего профессионального образования
by: Кузин А. В. Александр Владимирович
Published: (Москва, Академия, 2007)

Вып. 133 : Логические методы в программировании
Published: (1990)

Аналитические вычисления в системе REDUCE справочное пособие
by: Гурин Н. И. Николай Иванович
Published: (Минск, Наука и техника, 1989)