Normal view
MARC view
Методика доказательства теорем для формальной системы ERM-модели А. М. Бабанов, А. С. Скачкова
Material type: ArticleSubject(s): семантическая модель данных | ERM-модели | теория семантически значимых отображений | метод резолюцийGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 2. С. 113-123No physical items for this record
There are no comments on this title.