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

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

Bibliographic Details
Corporate Author:	Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики
Other Authors:	Ершов Ю. Л. (редактор), Гончаров С. С.
Language:	Russian
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)

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

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

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

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

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

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

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

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

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

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

Вып. 5; Вычислительные системы
Published: (1984)

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

Вып. 3; Вычислительные процессы и системы
Published: (1985)

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

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

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

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

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

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

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

Вып. 3; Вычислительные системы
Published: (1982)

Вып. 6; Вычислительные процессы и системы
Published: (1988)

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

Вып. 7; Вычислительные процессы и системы
Published: (1990)

Вып. 8; Вычислительные процессы и системы
Published: (1983)

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

Вып. 5; Вычислительные процессы и системы
Published: (1987)

Вып. 4; Вычислительные процессы и системы
Published: (1986)

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

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

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

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

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

Вып. 2; Вычислительные процессы и системы
Published: (1985)

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

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

Архитектура и проектирование вычислительных систем. Проблемы адаптации и моделирования: сборник научных трудов
Published: (Рига, Изд-во Рижского политехнического ин-та, 1986)