Логические вопросы теории типов данных сборник научных трудов

Логические вопросы теории типов данных, сборник научных трудов

Bibliographic Details
Corporate Author:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Other Authors:	Ершов Ю. Л. (340), Гончаров С. С.
Published:	Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
Series:	Вычислительные системы Вып. 114
Subjects:	данные динамическая логика язык семантика допустимые множества индуктивные определения планирование имитация
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=269173

Similar Items

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

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

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

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

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

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

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

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

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

Вып. 5
Published: (1984)

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

Перспективы развития вычислительных систем (применение идей адаптации и эволюции) тезисы докладов второго Всесоюзного семинара, г. Рига, 22-24 май 1985 г.
Published: (Рига, Изд-во РПИ, 1985)

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

Синтез оптимальных модульных систем обработки данных
by: Мамиконов А. Г. Акоп Гаспарович
Published: (Москва, Наука, 1986)

Вып. 3
Published: (1985)

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

Вып. 144: Экспертные системы и анализ данных
Published: (1991)

Вычислительные системы и сети учебник в электронном формате
by: Мелехин В. Ф. Виктор Федорович
Published: (Москва, Академия, 2013)

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

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

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

Вып. 6
Published: (1988)

Вып. 3
Published: (1982)

[Вып.] 80 : Вопросы теории и построения вычислительных систем
Published: (1979)

Методы проектирования и анализа вычислительных систем, сетей и средств межвузовский тематический сборник
Published: (Москва, Изд-во МЭИ, 1985)

Вып. 7
Published: (1990)

Вып. 8
Published: (1983)

Вып. 119 : Вопросы алгоритмического анализа структурной информации
Published: (1987)

Т. 1
Published: (1990)

Вып. 4
Published: (1986)

Вып. 5
Published: (1987)

Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных систем труды Всесоюзной конференции, г. Новосибирск, 17-19 июня, 1982 г.
Published: (Новосибирск, Изд-во ВЦ СО АН СССР, 1983)

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

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

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

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

Синтез параллельных программ и систем на вычислительных моделях
by: Вальковский В. А. Владимир Александрович
Published: (Новосибирск, Наука, 1988)

Вып. 2
Published: (1985)

Проектирование вычислительных комплексов, систем и сетей тематический сборник
Published: (Москва, Изд-во МЭИ, 1982)

Т. 3
Published: (1990)