Вып. 122 : Прикладные аспекты математической логики
| Parent link: | Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 122 : Прикладные аспекты математической логики.— , 1964-2008 |
|---|---|
| Outros autores: | Ершов Ю. Л. (340) |
| Publicado: |
1987
|
| Subjects: | |
| Formato: | Libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=261640 |
Títulos similares
[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой
Publicado: (1980)
Publicado: (1980)
[Вып.] 83 : Эмпирическое предсказание и распознавание образов
Publicado: (1980)
Publicado: (1980)
[Вып.] 79 : Эмпирическое предсказание и распознавание образов
Publicado: (1979)
Publicado: (1979)
[Вып.] 76 : Эмпирическое предсказание и распознавание образов
Publicado: (1978)
Publicado: (1978)
Вып. 120 : Логические методы в программировании
Publicado: (1987)
Publicado: (1987)
[Вып.] 107 : Логико-математические основы проблемы МОЗ [сборник]
Publicado: (1985)
Publicado: (1985)
Вып. 135 : Системология и методологические проблемы информационно-логических систем
Publicado: (1990)
Publicado: (1990)
[Вып.] 78 : Математическое обеспечение вычислительных систем
Publicado: (1979)
Publicado: (1979)
Вып. 123 : Анализ текстов и сигналов
Publicado: (1987)
Publicado: (1987)
Синтез параллельных программ и систем на вычислительных моделях
por: Вальковский В. А. Владимир Александрович
Publicado: (Новосибирск, Наука, 1988)
por: Вальковский В. А. Владимир Александрович
Publicado: (Новосибирск, Наука, 1988)
Вып. 125 : Методологические и технологические проблемы информационно-логических систем
Publicado: (1988)
Publicado: (1988)
Вып. 130 : Математические вопросы химической информатики
Publicado: (1989)
Publicado: (1989)
Вып. 88 : Машинные методы обнаружения закономерностей
Publicado: (1981)
Publicado: (1981)
Вып. 6
Publicado: (1988)
Publicado: (1988)
Алгоритмы и структуры специализированных систем сборник научных трудов
Publicado: (Тула, Изд-во Тульского политехнического ин-та, 1981)
Publicado: (Тула, Изд-во Тульского политехнического ин-та, 1981)
Проектирование вычислительных комплексов, систем и сетей тематический сборник
Publicado: (Москва, Изд-во МЭИ, 1982)
Publicado: (Москва, Изд-во МЭИ, 1982)
Вып. 8
Publicado: (1983)
Publicado: (1983)
Вып. 7
Publicado: (1990)
Publicado: (1990)
Вып. 138 : Методологические проблемы науки
Publicado: (1991)
Publicado: (1991)
Вып. 5
Publicado: (1987)
Publicado: (1987)
Вып. 4
Publicado: (1986)
Publicado: (1986)
Вып. 5
Publicado: (1984)
Publicado: (1984)
Логические вопросы теории типов данных сборник научных трудов
Publicado: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Publicado: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Перспективы развития вычислительных систем III Всесоюзный симпозиум, Рига, 31 октября - 2 ноября 1989 г. тезисы докладов
Publicado: (Рига, Рижский политехнический ин-т, 1989)
Publicado: (Рига, Рижский политехнический ин-т, 1989)
Вып. 3
Publicado: (1985)
Publicado: (1985)
Авторский и тематический указатель статей, опубликованных в сборнике, вып. 51-75
Publicado: (1978)
Publicado: (1978)
Авторский и тематический указатель статей, опубликованных в сборнике, вып. 101-125
Publicado: (1989)
Publicado: (1989)
Вып. 1
Publicado: (1983)
Publicado: (1983)
Вычислительные системы: моделирование, проектирование и программирование сборник научных трудов
Publicado: (Ярославль, ЯрГУ, 1990)
Publicado: (Ярославль, ЯрГУ, 1990)
Вып. 129 : Теория алгоритмов и её приложения
Publicado: (1989)
Publicado: (1989)
Вып. 132 : Методы обработки символьных последовательностей и сигналов сборник научных трудов
Publicado: (1989)
Publicado: (1989)
Вып. 3
Publicado: (1982)
Publicado: (1982)
Вып. 124 : Языки спецификаций и логическое программирование
Publicado: (1988)
Publicado: (1988)
Проблемно-ориентированные средства повышения эффективности вычислительных систем межвузовский сборник
Publicado: (Казань, КАИ, 1988)
Publicado: (Казань, КАИ, 1988)
Вып. 121 : Аппроксимация сплайнами
Publicado: (1987)
Publicado: (1987)
Вып. 2
Publicado: (1985)
Publicado: (1985)
Высокопроизводительные вычислительные системы и их программное обеспечение сборник научных трудов
Publicado: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Publicado: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Методы проектирования и анализа вычислительных систем, сетей и средств межвузовский тематический сборник
Publicado: (Москва, Изд-во МЭИ, 1985)
Publicado: (Москва, Изд-во МЭИ, 1985)
Вып. 133 : Логические методы в программировании
Publicado: (1990)
Publicado: (1990)
Вып. 113 : Анализ символьных последовательностей
Publicado: (1985)
Publicado: (1985)
Títulos similares
-
[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой
Publicado: (1980) -
[Вып.] 83 : Эмпирическое предсказание и распознавание образов
Publicado: (1980) -
[Вып.] 79 : Эмпирическое предсказание и распознавание образов
Publicado: (1979) -
[Вып.] 76 : Эмпирическое предсказание и распознавание образов
Publicado: (1978) -
Вып. 120 : Логические методы в программировании
Publicado: (1987)