Неклассические логики и их применение; Вопросы кибернетики

Неклассические логики и их применение; Вопросы кибернетики

Détails bibliographiques
Parent link:	Вопросы кибернетики: сборник статей/ Академия наук СССР (АН СССР), Научный совет по комплексной проблеме "Кибернетика". Неклассические логики и их применение.— , 1975-1992
Autres auteurs:	Драгалин А. Г. (редактор)
Langue:	russe
Publié:	1982
Sujets:	Математическая кибернетика Кибернетика модальная логика доказательства программная логика высказывания исчисления разрешимость повторения локальные операторы
Format:	Livre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=311150

Documents similaires

Автоматическое образование гипотез. Математические основы общей теории: перевод с английского
par: Гаек П. Петр
Publié: (Москва, Наука, 1984)

Нижние оценки сложности и сложность универсальных схем
par: Нигматуллин Р. Г. Рошаль Габдулхаевич
Publié: (Казань, Изд-во Казанского ун-та, 1990)

Алгебраическое моделирование сложных систем
par: Иванов П. М. Петр Мацович
Publié: (Москва, Наука, 1996)

Ч. 1; Условия А-полноты для конечных автоматов
Publié: (1986)

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

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

Автоматы, алгорифмы, языки: межвузовский тематический сборник
Publié: (Калинин, Изд-во Калининского гос. ун-та, 1982)

Тесты (теория, построение, применение)
par: Соловьев Н. А. Николай Андреевич
Publié: (Новосибирск, Наука, 1978)

Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
Publié: (Калинин, Изд-во Калининского гос. ун-та, 1983)

Вопросы математической кибернетики: сборник научных трудов
Publié: (Минск, Изд-во МГПИ, 1979)

Вып. 136 : Техническая кибернетика и теория информации; Вопросы кибернетики
Publié: (1988)

Кибернетика. Вопросы теории и практики
par: Глушков В. М.
Publié: (Москва, Наука, 1986)

Математическая и техническая кибернетика
Publié: (Тбилиси, Мецниереба, 1983)

Вып. 120 : Протоколы и методы коммутации в вычислительных сетях; Вопросы кибернетики
Publié: (1986)

[Вып. 172]: Методы доступа и архитектура локальных информационно-вычислительных сетей; Вопросы кибернетики
Publié: (1992)

[Вып. 138] : Разработка и верификация протоколов информационно-вычислительных сетей; Вопросы кибернетики
Publié: (1988)

Основы теории вероятностных автоматов
par: Бухараев Р. Г. Раис Гатич
Publié: (Москва, Наука, 1985)

Элементы модальной логики: монография
par: Костюк В. Н. Владимир Николаевич
Publié: (Киев, Наукова думка, 1978)

[Вып. 101] : Психические состояния и эффективность деятельности; Вопросы кибернетики
Publié: (1983)

Математическая и техническая кибернетика
Publié: (Тбилиси, Мецниереба, 1989)

Математическая и техническая кибернетика
Publié: (Тбилиси, Мецниереба, 1986)

Содержательная семантика модальной логики
par: Ивлев Ю. В. Юрий Васильевич
Publié: (Москва, Изд-во МГУ, 1985)

Математическая и техническая кибернетика
Publié: (Тбилиси, Мецниереба, 1985)

Математическая и техническая кибернетика
Publié: (Тбилиси, Мецниереба, 1984)

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

[Вып. 144]: Имитационное моделирование деятельности оператора в авиации и космонавтике; Вопросы кибернетики
Publié: (1990)

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

Математическая и техническая кибернетика: [сборник]
Publié: (Тбилиси, Мецниереба, 1979)

Математическая и техническая кибернетика: [сборник]
Publié: (Тбилиси, Мецниереба, 1980)

Вып. 86 : Дискретная математика и математическая кибернетика; Вопросы кибернетики
Publié: (1982)

Кибернетика и методология науки.
par: Бирюков Б. В. Борис Владимирович
Publié: (Москва, Наука, 1974)

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

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

Вып. 121: Техническая кибернетика и теория информации; Вопросы кибернетики
Publié: (1983)

[Вып. 131] : Проблемы сокращения перебора; Вопросы кибернетики
Publié: (1987)

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

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

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

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

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