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

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

Bibliographic Details
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Вып. 134: Сложность вычислений и прикладная математическая логика.— : [Б. и.], 1975-.— 0134-6388
Other Authors:	Адян С. И. (редактор)
Language:	Russian
Published:	1988
Subjects:	Кибернетика математическая логика интерпретация векторное сложение достижимость доказуемость предикатные логики конечные автоматы свободные группы элементарная теория фрагменты графы с метками восстановление системы уравнений
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=259481

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

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

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

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

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

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

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

[Вып. 90] : Кибернетика и математическая логика в историко-методологическом аспекте; Вопросы кибернетики
Published: (1984)

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

Математическое введение в информатику учебник
by: Дудаков С. М.
Published: (Тверь, ТвГУ, 2020)

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

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

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

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

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

Теоретические основы кибернетики: текст лекций
Published: (Чебоксары, Изд-во Чувашского гос. ун-та, 1987)

[Вып. 136] : Методы и алгоритмы анализа больших систем; Вопросы кибернетики
Published: (1988)

Применение методов математической логики. Секция : Представление знаний и синтез программ: тезисы докладов IV Всесоюзной конференции
Published: (Таллин, Изд-во ин-та кибернетики, 1986)

Вып. 37; Проблемы кибернетики
Published: (1980)

Вып. 131 : Вычислительная техника в управлении; Вопросы кибернетики
Published: (1986)

Математические основания информатики учеб. пособие
by: Червенчук И. В.
Published: (Омск, ОмГТУ, 2023)

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

[Вып. 145] : Базовое программное обеспечение суперЭВМ; Вопросы кибернетики
Published: (1990)

[Вып. 68] : Ситуационное управление. Теория и практика; Вопросы кибернетики
Published: (1980)

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