Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Формализация: алгоритмический подход
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Провотар, А.И. | |
| dc.date.accessioned | 2008-07-01T11:44:20Z | |
| dc.date.available | 2008-07-01T11:44:20Z | |
| dc.date.issued | 2008 | |
| dc.identifier.citation | Формализация: алгоритмический подход / А.И. Провотар // Пробл. програмув. — 2008. — N 2-3. — С. 37-40. — Бібліогр.: 10 назв. — рус. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/821 | |
| dc.description.abstract | Рассматриваются вопросы формализации задач из различных предметных областей. Предлагается алгоритмический подход к формализации. | en_US |
| dc.description.abstract | Questions of formalization of problems from various subject domains are considered. The algorithmic approach to formalization is proposed. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.subject | Теоретичні та методологічні основи програмування | en_US |
| dc.title | Формализация: алгоритмический подход | en_US |
| dc.title.alternative | Formalization: algorithmic approach | en_US |
| dc.type | Article | en_US |
| dc.status | published earlier | en_US |
| dc.identifier.udc | 530.12 | |
| dc.identifier.udc | 519.95 |
Файли у цій статті
Ця стаття з'являється у наступних колекціях
-
Проблеми програмування, 2008, № 2-3 [101]
Матеріали шостої міжнародної науково-практичної конференції з програмування УкрПРОГ'2008, 27-29 травня 2008 р., Україна, Київ