Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
нормализация
Связанные издания:
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Rules on the Web: Research and Applications: Proc./6th International Symposium, RuleML 2012, Montpellier, France, August 2012
Автоматизация процесса нормализации информации при внедрении систем управления основными данными
Атрибутные аннотации и их применение в дедуктивной верификации С-программ