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

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

書目詳細資料
Parent link:	Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 122 : Прикладные аспекты математической логики.— , 1964-2008
其他作者:	Ершов Ю. Л. (редактор)
語言:	俄语
出版:	1987
主題:	Вычислительные системы математическая логика прикладные аспекты логические программы алгоритмы интерпретация
格式:	圖書
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261640

相似書籍

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

[Вып.] 83 : Эмпирическое предсказание и распознавание образов; Вычислительные системы
出版: (1980)

[Вып.] 79 : Эмпирическое предсказание и распознавание образов; Вычислительные системы
出版: (1979)

[Вып.] 76 : Эмпирическое предсказание и распознавание образов; Вычислительные системы
出版: (1978)

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

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

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

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

Вып. 123 : Анализ текстов и сигналов; Вычислительные системы
出版: (1987)

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

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

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

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

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

Вып. 88 : Машинные методы обнаружения закономерностей; Вычислительные системы
出版: (1981)

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

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

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

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

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

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

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

Вып. 9; Вычислительные процессы и системы
出版: (1993)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Т. 1; Однородные вычислительные среды и систолические структуры
出版: (1990)