Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
пересечение
Связанные издания:
Branching Types
CRL/Pascal: A Pascal-oriented Cross Reference Language and Its Applications
Graph-Theoretic Concepts in Computer Science: Revised Papers/39th International Workshop, WG 2013, Lubeck, Germany, June 2013
Incremental Computation of Planar Maps
Infinite Intersection and Union Types for the Lazy Lambda Calculus
The Algorithm Design: Manual
О пересечении множеств равенств термов в конечноопределенных алгебрах