Вып. 146 : Логика и семантическое программирование

Вып. 146 : Логика и семантическое программирование

Bibliographic Details
Parent link:	Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 146 : Логика и семантическое программирование.— : [Б. и.], 1964-2008
Language:	Russian
Published:	1992
Subjects:	семантическое программирование логика логическое программирование языки спецификаций
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=26005

Similar Items

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

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

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

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

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

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

Вып. 2
Published: (1985)

[Вып.] 94 : Вычислительные системы с программируемой структурой [сборник]
Published: (1982)

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

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

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

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

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

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

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

Вып. 3
Published: (1985)

Вып. 9
Published: (1993)

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

Вып. 145 : Методы и системы искусственного интеллекта
Published: (1992)

Т. 3
Published: (1990)

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

Вып. 6
Published: (1988)

Вып. 3
Published: (1982)

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

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

Вып. 7
Published: (1990)

Вып. 8
Published: (1983)

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

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

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

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

Вып. 147 : Интерполяция и аппроксимация сплайнами
Published: (1992)

Вып. 5
Published: (1987)

Вып. 4
Published: (1986)

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

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

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

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

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

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