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

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

Detalhes bibliográficos
Parent link:	Вычислительные науки/ Академия наук СССР (АН СССР), Всесоюзный институт научной и технической информации (ВИНИТИ) ; под ред. П. В. Нестерова. Т. 4.— , 1989-
Idioma:	russo
Publicado em:	1990
Assuntos:	техника вычислительные науки логическое программирование семантика языки отрицание логические программы моделирование вычисления
Formato:	Livro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=192687

Registos relacionados

Т. 6; Вычислительные науки
Publicado em: (1991)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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