Вып. 134: Сложность вычислений и прикладная математическая логика; Вопросы кибернетики

Вып. 134: Сложность вычислений и прикладная математическая логика; Вопросы кибернетики

Bibliografske podrobnosti
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Вып. 134: Сложность вычислений и прикладная математическая логика.— : [Б. и.], 1975-.— 0134-6388
Drugi avtorji:	Адян С. И. (редактор)
Jezik:	ruščina
Izdano:	1988
Teme:	Кибернетика математическая логика интерпретация векторное сложение достижимость доказуемость предикатные логики конечные автоматы свободные группы элементарная теория фрагменты графы с метками восстановление системы уравнений
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=259481

Podobne knjige/članki

Вып. 38; Проблемы кибернетики
Izdano: (1981)

Вып. 35; Проблемы кибернетики
Izdano: (1979)

Основы кибернетики: пер. с англ.
od: Джордж Ф. Фрэнк
Izdano: (Москва, Радио и связь, 1984)

Элементарная логика
od: Зегет В. Вольфганг
Izdano: (Москва, Высшая школа, 1985)

Вып. 39; Проблемы кибернетики
Izdano: (1982)

Дискретная математика: учебное пособие
od: Макоха А. Н. Анатолий Николаевич
Izdano: (Москва, Физматлит, 2005)

Алгебра и логика: сборник научных трудов
Izdano: (Новосибирск, Изд-во ИМ СО РАН, 1990)

Вып. 16; Вычислительная техника и вопросы кибернетики
Izdano: (1979)

Вып. 119 : Кибернетика в биологии и медицине; Вопросы кибернетики
Izdano: (1982)

Вып. 17; Кибернетический сборник. Новая Серия
Izdano: (1980)

Лекции по дискретной математике: учебное пособие
od: Алексеев В. Б. Валерий Борисович
Izdano: (Москва, Инфра-М, 2015)

Вып. 99 : Конвейеризация вычислений; Вопросы кибернетики
Izdano: (1986)

Вып. 23; Кибернетический сборник. Новая Серия
Izdano: (1986)

Вып. 18; Кибернетический сборник. Новая Серия
Izdano: (Москва, Мир, 1981)

Математическая логика и теория алгоритмов учебное пособие
od: Неклюдова В. Л.
Izdano: (Новосибирск, СГУГиТ, 2022)

Кибернетика и ее будущее: пер. с нем.
od: Гёльднер К. Клаус
Izdano: (Москва, Радио и связь, 1983)

[Вып. 166]: Язык логики и логика языка: сборник статей; Вопросы кибернетики
Izdano: (1990)

Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
od: Золкин А. Л.
Izdano: (Санкт-Петербург, Лань, 2025)

Вып. 17; Вычислительная техника и вопросы кибернетики
Izdano: (Москва, Изд-во МГУ, 1981)

Вып. 21; Кибернетический сборник. Новая Серия
Izdano: (1984)

Дискретная математика и математическая логика: учебник
od: Аляев Ю. А. Юрий Александрович
Izdano: (Москва, Финансы и статистика, 2006)

Вып. 134 : Автоматизированные системы управления технологическими процессами; Вопросы кибернетики
Izdano: (1987)

Введение в алгебру угловых моментов: учебное пособие
od: Запрягаев С. А. Сергей Александрович
Izdano: (Воронеж, Изд-во Воронежского гос. ун-та, 1980)

Арифметические и логические основы цифровых автоматов: учебник
od: Савельев А. Я. Александр Яковлевич
Izdano: (Москва, Высшая школа, 1980)

Вопросы кибернетики. Устройства и системы: сборник научных трудов
Izdano: (Москва, МИРЭА, 1989)

Вып. 41; Проблемы кибернетики
Izdano: (1984)

Введение в методы трансляции учебное пособие
od: Двоенко С. Д.
Izdano: (Тула, ТулГУ, 2024)

Вып. 36; Проблемы кибернетики
Izdano: (1979)

Вып. 40; Проблемы кибернетики
Izdano: (1983)

Беседы об автоматике и кибернетике
od: Залманзон Л. А. Лев Абрамович
Izdano: (Москва, Наука, 1981)

[Вып. 160]: Отказоустойчивые параллельные вычислительные системы реального времени; Вопросы кибернетики
Izdano: (1990)

Введение в теорию конечных автоматов: пер. с англ.
od: Гилл А. Артур
Izdano: (Москва, Наука, 1966)

[Вып. 165]: Программное обеспечение высокопроизводительной вычислительной системы; Вопросы кибернетики
Izdano: (1991)

[Вып. 132] : Биомединформатика и её приложения; Вопросы кибернетики
Izdano: (1988)

[Вып. 97] : Проблемы организации высокопроизводительных ЭВМ; Вопросы кибернетики
Izdano: (1984)

Вып. 150 : Надежность испытания и эксплуатация высокопроизводительных ЭВМ; Вопросы кибернетики
Izdano: (1991)

[Вып. 126]: Проблемы математического моделирования и экспертные системы; Вопросы кибернетики
Izdano: (1990)

[Вып. 153] : Проблемы теории биотехнических систем эргатического типа; Вопросы кибернетики
Izdano: (1989)

[Вып. 130] : Проблемы автоматизации инженерного труда в машиностроении; Вопросы кибернетики
Izdano: (1988)

Ориентированные графы и конечные автоматы
od: Мелихов А. Н. Аскольд Николаевич
Izdano: (Москва, Наука, 1971)