Вы здесь

Главная

ИМ СО АН СССР

Связанные издания:

III Всесоюзная конференция по проблемам теоретической кибернетики (посвящается памяти А.А. Ляпунова). Тезисы докладов
II Всесоюзная конференция по прикладной логике: Тезисы докладов: Новосибирск, 7-9 июня 1988 г.
IV Всесоюзная конференция по проблемам теоретической кибернетики: Тез. докл. 30 августа - 1 сентября 1977
V Всесоюзная конференция по проблемам теоретической кибернетики (18-20 июня). Тезисы докладов
V Всесоюзный коллоквиум по общей алгебре. Резюме сообщений и докладов
Библиография по автоматическому программированию
Всесоюзная конференция по прикладной логике: Тезисы докладов. Новосибирск, 22-24 октября 1985 г.
Всесоюзн. конф. по проблемам теоретической кибернетики: Тез. докл. 9-13 июня 1969 г.
Входной язык системы автоматического программирования (предварительное сообщение)
Вычислительные системы: Труды I Всесоюзной конференции по вычислительным системам
Избранные вопросы алгебры и логики. Сборник, посвящённый памяти А.И. Мальцева.
Избранные труды. Т.1: Классическая алгебра
Избранные труды. Т.2: Математическая логика и общая теория алгебраических систем
К 80-летию академика Л.В.Канторовича (1912-1986), Часть I: Оптимизация 50(67). Сборник научных трудов
Как специальные конструкции трансляции порождаются универсальными процессами смешанных вычислений?
Как учитывать совйства операций при глобальном анализе программ
Коуровская тетрадь (нерешённые задачи теории групп)
Методы параллельного микропрограммирования
Обо енный подход к реализации информационно-логических процедур
Олимпиады. Алгебра. Комбинаторика
О некоторых автоматах, способных вычислять базис для рекурсивно-перечислимых множеств
О некоторых некорректных задачах математической физики
Проблема тотальности для стандартных программ
Пятая Всесоюзная конференция по математической логике, посвящённая 70-летию академика А.И. Мальцева. Тезисы докладов
Синтез программ. Тезисы докладов школы-семинара 24-30 июня 1985 г.
Субдифференциальное исчисление
Третья всесоюзная конференция по математической логике. 23-27 июня 1974 г. Новосибирск
Хроматически связные вершины в плоских графах
Элиминация инвариантов циклов при верификации программ
Языки спецификаций и логическое программирование