Normal view
MARC view
Методика доказательства теорем для формальной системы ERM-модели (Record no. 307092)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01655nab a2200289 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000421162 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230319190043.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 170612 2010 ru s c rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000421162 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Бабанов, Алексей Михайлович |
| 9 (RLIN) | 74259 |
| 245 10 - Заглавие | |
| Заглавие | Методика доказательства теорем для формальной системы ERM-модели |
| Ответственность | А. М. Бабанов, А. С. Скачкова |
| 653 ## - Ключевые слова | |
| Ключевые слова | семантическая модель данных |
| 653 ## - Ключевые слова | |
| Ключевые слова | ERM-модели |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория семантически значимых отображений |
| 653 ## - Ключевые слова | |
| Ключевые слова | метод резолюций |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 879358 |
| 700 1# - Другие авторы | |
| Другие авторы | Скачкова, Анна Сергеевна |
| 9 (RLIN) | 280164 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Томский государственный университет |
| Другие уровни | Факультет информатики |
| -- | Кафедра программной инженерии |
| 9 (RLIN) | 86658 |
| 773 0# - Источник информации | |
| Название источника | Вестник Томского государственного университета. Управление, вычислительная техника и информатика |
| Место и дата издания | Томск, 2010 |
| Прочая информация | № 2. С. 113-123 |
| ISSN | 1998-8605 |
| Контрольный № источника | 0210-40860 |
| 852 ## - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 ## - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000421162">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000421162</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 307092 |
No items available.