Т. 6

Т. 6

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

Documents similaires

Т. 4
Publié: (1990)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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