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

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

Detalles Bibliográficos
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)

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

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

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

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

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

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

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

Вып. 123 : Анализ текстов и сигналов
Publicado: (1987)

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

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

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

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

Вып. 6
Publicado: (1988)

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

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

Вып. 8
Publicado: (1983)

Вып. 7
Publicado: (1990)

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

Вып. 5
Publicado: (1987)

Вып. 4
Publicado: (1986)

Вып. 5
Publicado: (1984)

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

Перспективы развития вычислительных систем III Всесоюзный симпозиум, Рига, 31 октября - 2 ноября 1989 г. тезисы докладов
Publicado: (Рига, Рижский политехнический ин-т, 1989)

Вып. 3
Publicado: (1985)

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

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

Вып. 1
Publicado: (1983)

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

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

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

Вып. 3
Publicado: (1982)

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

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

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

Вып. 2
Publicado: (1985)

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

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

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

Вып. 113 : Анализ символьных последовательностей
Publicado: (1985)