Вы здесь

Главная

теория множеств

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

Adaptive and Intelligent Systems: Proc./3rd International Conference, ICAIS 2014, Bournemouth, UK, September 2014
Approximation and Online Algorithms: Revised Selected Papers/16th International Workshop, WAOA 2018, Helsinki, Finland, August 2018
A Useful Undecidable Theory
Coalgebraic Methods in Computer Science: Revised Selected Papers/14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, June 2018
Combinatorial Image Analysis: Proc./18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 2017
Computation and Logic in the Real World: Proc./Third Conference on Computability in Europe, CiE 2007. Siena, Italy, June 2007
Computing with Foresight and Industry: Proc./15th Conference on Computability in Europe, CiE 2019, Durhan, UK, July 2019
Descriptive Set Theoretic Mathods in Automata Theory: Decidability and Topological Complexity
Graph-Based Representation and Reasoning: Proc./23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 2018
Graph Transformation: Proc./10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 2017
Integrated Uncertainty in Knowledge Modelling and Decision Making: Proc./7th International Symposium, IUKM 2019, Nara, Japan, March 2019
Interactive Theorem Proving: Proc./First International Conference, ITP 2010, Edinburgh, UK, July 2010
Introduction to Mathematical Structures and Proofs
Language and Automata Theory and Applications: Proc./13th International Conference, LATA 2019, St.Petersburg, Russia, March 2019
LATIN 2006: Theoretical Informatics: Proc./7th Latin American Symposium. Valdivia, Chile, March 2006
Logic and Its Applications: Proc./6th Indian Conference, ICLA 2015, Mumbai, India, January 2015
Logic and Its Applications: Proc./8th Indian Conference, ICLA 2019, Delhi, India, March 2019
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019
Logik and Its Applications: Proc./Third Indian Conference, ICLA 2009, Chennai India, January 2009
Mathematical Aspects of Computer and Information Science: Proc./7th International Conference, MACIS 2017, Vienna, Austria, November 2017
Models, Mindsets, Meta: The What, the How, and Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Relational and Algebraic Methods in Computer Science: Proc./17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 2018
Rough Sets: Proc./ International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 2018
STACS 2007: Proc./24th Annual Symposium on Theoretical Aspects of Computer Science,Aachen,Germany,February 2007
The Discrete Math Workbook: A Companion Manual for Practical Study
Theory and Applications of Models of Computation: Proc./15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 2019
The Shrinking Property for NP and coNP
Transactions on Rough Sets V
Transactions on Rough Sets VII
Transactions on Rough Sets XX
Введение в теорию множеств и общую топологию
Дискретная математика и комбинаторика
Задачи по теории множеств, математической логике и теории алгоритмов
Избранные труды. Теория множеств и функций. Математическая логика и алгебра
Исследования по неклассическим логикам и теории множеств
Исследования по теории множеств и неклассическим логикам
Основания теории множеств
Справочная книга по математической логике в четырёх частях. Часть 2: Теория множеств
Теория множеств
Теория множеств и континуум-гипотеза
Теория множеств и метод форсинга
Труды по теории множеств