Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
булева алгебра
Связанные издания:
Cellular Automata and Discrete Complex Systems: Proc./25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 2019
Coalgebraic Methods in Computer Science: Proc./15th IFIP WG 1.3 International Workshop, CMCS 2020 Colocated with ETAPS 2020, Dublin, Ireland, April 2020
Computational Methods in Systems Biology: Proc./17th International Conference, CMSB 2019, Trieste, Italy, September 2019
Formal Concept Analysis: Proc./16th International Conference, ICFCA 2021, Strasbourg, France, June 2021
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
Molecular Logic and Computational Synthetic Biology: Revised Selected Papers/1st International Symposium, MLCSB 2018, Santiago, Chile, December 2018
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/25th International Workshop, WADT 2020, Virtual Event, April 2020
Relational and Algebraic Methods in Computer Science: Proc./16th International Conference, RAMiCS 2017, Lyon, France, May 2017
Relational and Algebraic Methods in Computer Science: Proc./18th International Conference, RAMiCS 2020, Palaiseau, France, April 2020
Relational and Algebraic Methods in Computer Science: Proc./19th International Conference, RAMiCS 2021, Marseille, France, November 2021
Reversible Computation: Proc./9th International Conference, RC 2017, Kolkata, India, July 2017
The Discrete Math Workbook: A Companion Manual for Practical Study
The Nature of Computation: Proc./9th Conference on Computability in Europea, CiE 2013, ilan, Italy, July 2013
О вычислении булевых инволютивных базисов
Применение условной конверсии для верификации и оптимизации потоков работ
Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы
Средства поведения формульных преобразований для задач в булевых алгебрах в системе FABULA
Счетные Булевы алгебры и разрешимость