TY  - SER
AU  - Бабанов,Алексей Михайлович
AU  - Скачкова,Анна Сергеевна
ED  - Томский государственный университет
TI  - Методика доказательства теорем для формальной системы ERM-модели
KW  - семантическая модель данных
KW  - ERM-модели
KW  - теория семантически значимых отображений
KW  - метод резолюций
KW  - статьи в журналах
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000421162
ER  -