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

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

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

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Универсальные языки программирования. Семантический подход
by: Калинин А. Г. Андрей Геннадьевич
Published: (Москва, Радио и связь, 1991)

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

Вычислительные машины и программирование
by: Демидович Н. Т. Неонила Тарасовна
Published: (Минск, Университетское, 1985)

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

Язык программирования лого
by: Дьяконов В. П. Владимир Павлович
Published: (Москва, Радио и связь, 1991)

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

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

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

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

Python. Основы программирования: пер. с болг.
Published: (Москва, АСТ, 2024)

Языки программирования: разработка и реализация; пер. с англ.
by: Пратт Т. У. Теренс У.
Published: (Москва, Мир, 1979)

Семантика языков программирования: сборник статей
Published: (Москва, Мир, 1980)

Отрицание неглагольных предикатов в кетском языке; Томский журнал лингвистических и антропологических исследований; № 1 (19)
by: Нефедов А. В. Андрей Викторович
Published: (2018)

Основы вычислительной, микропроцессорной техники и программирования: [Учеб. для сред. спец. учеб. заведений]
by: Стрыгин В. В. Вадим Васильевич
Published: (Москва, Высш. шк., 1989)

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

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