Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC
диссертация ... кандидата технических наук : 05.13.17
диссертация ... кандидата технических наук : 05.13.17
Санкт-Петербург, 2021
Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC
диссертация ... кандидата технических наук : 05.13.17
Санкт-Петербург, 2021
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Библиографическое описание
Скопировать
Нгуен Нгок Тхан. Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC : диссертация ... кандидата технических наук : 05.13.17 / Нгуен Нгок Тхан ; [Место защиты: ФГАОУ ВО «Национальный исследовательский университет ИТМО»]. — Санкт-Петербург, 2021. — 224 с. : ил. : 14,5х20,5 см.
Детальная информация
Код документа в НЭБ
000199_000009_010826994
Каталог
Автор(ы)
Заглавие
Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC : диссертация . кандидата технических наук : 05.13.17
Место издания
Санкт-Петербург
Год издания
2021
Объем
224 с.
Ответственность
Нгуен Нгок Тхан ; [Место защиты: ФГАОУ ВО «Национальный исследовательский университет ИТМО»]
ББК
З973.235-044-01с115,0
Язык
Русский
Английский
Еще
Библиотека
LDR
02599nam a2200373 i 4500
001
010826994
003
RuMoRGB
005
20230302130414.0
008
210929s2021 ru |||| m |00 u rus d
017
##
$a: д8385-21
$b: RuMoRGB
$a: д8385-21
$b: RuMoRGB
040
##
$a: RuMoRGB
$b: rus
$e: rcr
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$e: rcr
$c: RuMoRGB
041
##
$a: rus
$a: eng
$a: rus
$a: eng
044
##
$a: ru
$a: ru
072
#1
$a: 05.13.17
$2: nsnr
$a: 05.13.17
$2: nsnr
084
##
$a: З973.235-044-01с115,0
$2: rubbk
$a: З973.235-044-01с115,0
$2: rubbk
100
1#
$a: Нгуен Нгок Тхан
$a: Нгуен Нгок Тхан
245
##
$a: Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC :
$b: диссертация ... кандидата технических наук : 05.13.17
$c: Нгуен Нгок Тхан ; [Место защиты: ФГАОУ ВО «Национальный исследовательский университет ИТМО»]
$a: Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC :
$b: диссертация ... кандидата технических наук : 05.13.17
$c: Нгуен Нгок Тхан ; [Место защиты: ФГАОУ ВО «Национальный исследовательский университет ИТМО»]
260
##
$a: Санкт-Петербург
$c: 2021
$a: Санкт-Петербург
$c: 2021
300
##
$a: 224 с.
$b: ил.
$c: 14,5х20,5 см
$a: 224 с.
$b: ил.
$c: 14,5х20,5 см
502
##
$a: В обязат. электрон. экз. обложка дис. вошла в общую нумерацию страниц 225 с.
$a: В обязат. электрон. экз. обложка дис. вошла в общую нумерацию страниц 225 с.
504
##
$a: Библиогр.: с. 148-157
$a: Библиогр.: с. 148-157
515
##
$a: В дис. постраничная нумерация
$a: В дис. постраничная нумерация
541
1#
$e: 2021.10.26.n04
$e: 2021.10.26.n04
541
1#
$c: OEK
$d: 20211125
$c: OEK
$d: 20211125
546
##
$a: В дис. текст на рус. яз. и англ. яз.
$a: В дис. текст на рус. яз. и англ. яз.
546
##
$a: Тит. л. на англ. яз.
$a: Тит. л. на англ. яз.
650
#1
$a: Теоретические основы информатики
$2: nsnr
$a: Теоретические основы информатики
$2: nsnr
650
#1
$a: Радиоэлектроника -- Вычислительная техника -- Электронные вычислительные машины -- Цифровые электронные вычислительные машины -- Специализированные компьютеры и системы. Отдельные информационные технологии -- Автоматическая обработка изображений -- Элементы и узлы -- Управляющие, вводные и выводные устройства -- Математические методы исследования
$2: rubbk
$a: Радиоэлектроника -- Вычислительная техника -- Электронные вычислительные машины -- Цифровые электронные вычислительные машины -- Специализированные компьютеры и системы. Отдельные информационные технологии -- Автоматическая обработка изображений -- Элементы и узлы -- Управляющие, вводные и выводные устройства -- Математические методы исследования
$2: rubbk
720
1#
$a: ФГАОУ ВО «Национальный исследовательский университет ИТМО»
$a: ФГАОУ ВО «Национальный исследовательский университет ИТМО»
852
1#
$a: РГБ
$b: OD
$c: HL03
$j: 61 21-5/1695
$x: 39
$a: РГБ
$b: OD
$c: HL03
$j: 61 21-5/1695
$x: 39
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010826000/rsl01010826994/rsl01010826994.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01010000000/rsl01010826000/rsl01010826994/rsl01010826994.pdf
$y: Читать
Национальная электронная библиотека (НЭБ) предлагает Вам ознакомиться с подробной информацией о документе: « Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC : диссертация . кандидата технических наук : 05.13.17 » , автор — Нгуен Н.Т.. Документ был опубликован в 2021 году. Место издания — Санкт-Петербург. Электронный ресурс – электронная копия документа предоставлена в НЭБ библиотекой "Российская государственная библиотека". Фонд библиотеки расположен по адресу: 119019, Москва, ул. Воздвиженка, 3/5. На сайте rusneb.ru Вы можете читать онлайн оцифрованную версию документа « Метод диаграмматической верификации онтологий на основе дескрипционной логики ALC : диссертация . кандидата технических наук : 05.13.17 » в удобной системе просмотра документов.