Т. 6; Вычислительные науки

Т. 6; Вычислительные науки

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

Documenti analoghi

Т. 4; Вычислительные науки
Pubblicazione: (1990)

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

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

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

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

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

Наука программирования: пер. с англ.
di: Грис Д. Дэвид
Pubblicazione: (Москва, Мир, 1984)

Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Pubblicazione: (1992)

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

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

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

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

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

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

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

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

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

Искусство программирования на языке Пролог: пер. с англ.
di: Стерлинг Л. Леон
Pubblicazione: (Москва, Мир, 1990)

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

Реляционный язык Пролог и его применение: пер. с англ.
di: Малпас Дж. Р. Джон Р.
Pubblicazione: (Москва, Наука, 1990)

Основания программирования
di: Непейвода Н. Н. Николай Николаевич
Pubblicazione: (Москва, Институт компьютерных исследований, 2003)

Программные и вычислительные системы: Методы и языки анализа; Системная информатика
Pubblicazione: (1993)

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

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

Вып. 148 : Логические методы в информатике; Вычислительные системы
Pubblicazione: (1993)

Ч. 1: Задачи, модели, структуры; Вычислительные наноструктуры
Pubblicazione: (2010)

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

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

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

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

Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств
Pubblicazione: (Москва, Наука, 1995)

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

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

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

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

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

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

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

Новая эра программирования для современных контроллеров; Научная инициатива иностранных студентов и аспирантов российских вузов
di: Шарифуззаман М.
Pubblicazione: (2011)

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