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

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

Bibliographische Detailangaben
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 124 : Языки спецификаций и логическое программирование.— , 1964-2008
Weitere Verfasser:	Ершов Ю. Л. (340), Гончаров С. С.
Veröffentlicht:	1988
Schlagworte:	спецификации языки параллельные процессы синхронизация динамическая логика семантика прикладная логика
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=249641

Ähnliche Einträge

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

Логическое программирование в занимательных задачах
von: Касаткин В. Н. Валентин Николаевич
Veröffentlicht: (Киев, Технiка, 1980)

Функциональное и логическое программирование учебное пособие
von: Ездаков А. Л. Андрей Леонидович
Veröffentlicht: (Москва, БИНОМ. Лаборатория знаний, 2009)

Современное логическое программирование на языке Visual Prolog 7.5 учебник
von: Марков В. Н.
Veröffentlicht: (Санкт-Петербург, БХВ-Петербург, 2016)

Логические вопросы теории типов данных сборник научных трудов
Veröffentlicht: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)

Функциональное и логическое программирование учебное пособие
von: Сергиевский Г. М. Георгий Максимович
Veröffentlicht: (Москва, Академия, 2010)

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

[Вып.] 107 : Логико-математические основы проблемы МОЗ [сборник]
Veröffentlicht: (1985)

Вып. 122 : Прикладные аспекты математической логики
Veröffentlicht: (1987)

Вып. 138 : Методологические проблемы науки
Veröffentlicht: (1991)

Вып. 123 : Анализ текстов и сигналов
Veröffentlicht: (1987)

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

[Вып.] 78 : Математическое обеспечение вычислительных систем
Veröffentlicht: (1979)

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

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

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

Вып. 112 : Алгоритмический анализ структурной информации
Veröffentlicht: (1985)

[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой
Veröffentlicht: (1980)

Вып. 1
Veröffentlicht: (1983)

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

Вычислительные системы: моделирование, проектирование и программирование сборник научных трудов
Veröffentlicht: (Ярославль, ЯрГУ, 1990)

[Вып.] 83 : Эмпирическое предсказание и распознавание образов
Veröffentlicht: (1980)

[Вып.] 79 : Эмпирическое предсказание и распознавание образов
Veröffentlicht: (1979)

Авторский и тематический указатель статей, опубликованных в сборнике, вып. 51-75
Veröffentlicht: (1978)

Авторский и тематический указатель статей, опубликованных в сборнике, вып. 101-125
Veröffentlicht: (1989)

[Вып.] 76 : Эмпирическое предсказание и распознавание образов
Veröffentlicht: (1978)

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

Введение в логическое программирование на микро-прологе пер. с англ.
von: Кларк Кейт Л.
Veröffentlicht: (Москва, Радио и связь, 1987)

[Вып.] 73 : Вопросы теории и построения вычислительных систем
Veröffentlicht: (1978)

[Вып.] 152 : Теория вычислений и языки спецификаций
Veröffentlicht: (1995)

Вып. 132 : Методы обработки символьных последовательностей и сигналов сборник научных трудов
Veröffentlicht: (1989)

Проблемно-ориентированные средства повышения эффективности вычислительных систем межвузовский сборник
Veröffentlicht: (Казань, КАИ, 1988)

Вып. 130 : Математические вопросы химической информатики
Veröffentlicht: (1989)

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

Высокопроизводительные вычислительные системы и их программное обеспечение сборник научных трудов
Veröffentlicht: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)

Вып. 125 : Методологические и технологические проблемы информационно-логических систем
Veröffentlicht: (1988)

Вып. 3
Veröffentlicht: (1985)

Алгоритмы и структуры специализированных систем сборник научных трудов
Veröffentlicht: (Тула, Изд-во Тульского политехнического ин-та, 1981)

Вып. 135 : Системология и методологические проблемы информационно-логических систем
Veröffentlicht: (1990)

Вып. 121 : Аппроксимация сплайнами
Veröffentlicht: (1987)