Вы здесь

Главная

математическая логика

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

3-локальные подгруппы в конечных простых группах
Advances in Case-Based Reasoning:Proc./7th European Conference, ECCBR 2004. Madrid, Spain, August/September 2004
Artificial General Intelligence: Proc./4th International Conference, AGI 2011, Mountain View,CA,USA, August 2011
btt-сводимость
Computer Science Logic: Proc./18th International Workshop, CSL 2004; 13th Annual Conference of the EACSL. Karpacz, Poland, September 2004
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Formal Concept Analysis: Proc./5th International Conference, ICFCA 2007. Clermont-Ferrand, France, February 2007
Foundations of Software Science and Computation Structures: Proc./20th International Conference, FOSSACS 2017 Held as Part of ETAPS 2017, Uppsala, Sweden, April 2017
Interfaces: Explorations in Logic, Language and Computation: Selected Papers/ESSLLI 2008 and ESSLLI 2009 Student Sessions
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007
Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014
Logoc, Language, Information, and Computation: Proc./20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2013
Mathematical Foundations of Computer Science: Mathematical Logic & Computer Science: Proc./3rd IBM Symposium, Tokyo, Japan, August 1978
Moscow Computer Science School 2004 "Математика и программирование: от теории к практике"
New Computational Paradigms: Proc./First Conference on Computability in Europe, CiE 2005. Amsterdam, The Netherlands, June 2005
On decomposability in logical calculi
The Discrete Math Workbook: A Companion Manual for Practical Study
Theory and Applications of Models of Computation: Proc./12th Annual Conference, TAMC 2015, Singapore, May 2015
Tools for Teaching Logic: Proc./ Third International Congress, TICTTL 2011, Salamanca, Spain, June 2011
Алгебраически замкнутые группы
Введение в математическую логику
Вложение колец в радикальные кольца и рациональные тождества радикальных алгебр
Вычислимые классы и алгебраические критерии автоустойчивости
Вычислимые функционалы конечных типов
Допустимость правил выхода в модальных и суперинтуиционистских логик
Ершовские лекции по информатике
Задачи по теории множеств, математической логике и теории алгоритмов
Избранные труды. Теория множеств и функций. Математическая логика и алгебра
Индексные множества и степени
Исследования по конструктивной математике и математической логике
Исследования по конструктивной математике и математической логике. VI
Исследования по конструктивной математике и математической логике. VIII
Исследования по теории алгоритмов и математической логике
Исследования по теории алгорифмов и математической логике. Том 1. Сборник работ
Категоричные теории групп и колец
Классы инволюций и локальные подгруппы в конечных группах
Конструктивные модели
Логический подход к искусственному интеллекту: от классической логики к логическому программировванию
Математическая логика
Математическая логика
Математическая логика
Математическая логика в программировании. Сборник статей
Математическая логика и её применения
Математическая логика и теоретическая информатика
Математическая логика, математическая лингвистика и теория алгоритмов: Сборник научных трудов
Математическая логика. Труды конференции по математической логике, посвящённой памяти А.А. Маркова (1903-1979), София, 22-23 сентября, 1980 г.
Натуральные числа и обоб енная вычислимость
Неэлементарные свойства линейно-упорядоченных множеств
Нильпотентные Р-группы, близкие к группам простого периода
Обобщённо-конструктивный анализ