Методи формального опису систем управління повноваженнями на основі використання математичної логіки
Gespeichert in:
| Veröffentlicht in: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
|---|---|
| Datum: | 2010 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/28292 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-28292 |
|---|---|
| record_format |
dspace |
| spelling |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. 2011-11-09T11:40:42Z 2011-11-09T11:40:42Z 2010 Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. XXXX-0067 https://nasplib.isofts.kiev.ua/handle/123456789/28292 004.921 uk Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Методи формального опису систем управління повноваженнями на основі використання математичної логіки Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| spellingShingle |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. |
| title_short |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_full |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_fullStr |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_full_unstemmed |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_sort |
методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| author |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. |
| author_facet |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. |
| publishDate |
2010 |
| language |
Ukrainian |
| container_title |
Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| issn |
XXXX-0067 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/28292 |
| fulltext |
|
| citation_txt |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |
| work_keys_str_mv |
AT durnâkbv metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki AT sabatví metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki AT švedovalê metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki |
| first_indexed |
2025-11-26T16:00:39Z |
| last_indexed |
2025-11-26T16:00:39Z |
| _version_ |
1850627137773502464 |