Please be patient while the object screen loads.
Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
семантическая модель данных
|
Бабанов, Алексей Михайлович
|
теория семантически значимых отображений
Add to Quick Collection
Description
Size
Format
Методика доказательства теорем для формальной системы ERM-модели
865 KB
Adobe Acrobat PDF
View Details
Download
Title
Методика доказательства теорем для формальной системы ERM-модели
Creator
Бабанов, Алексей Михайлович
Creator
Скачкова, Анна Сергеевна
Contributor
Томский государственный университет Факультет информатики Кафедра программной инженерии
Subject
семантическая модель данных
ERM-модели
теория семантически значимых отображений
метод резолюций
Date
2010
Relationships
Show Relationship Browser for this Object
collection(s)
Факультет информатики (до 01.09.2017 г.)
Журналы ТГУ
Identifier
vtls:000421162
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000421162
Type
статьи в журналах
Source
Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 2. С. 113-123
Language
rus
1350 Visitors
1191 Hits
168 Downloads
Preview
Факультет информатики (до 01.09.2017 г.)
Журналы ТГУ
Методика доказательства теорем для формальной системы ERM-модели
^ DIV >