Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Инструментальные средства трансформации схем алгоритмов и программ
Репозиторій 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-08-21T17:28:20Z | |
| dc.date.available | 2008-08-21T17:28:20Z | |
| dc.date.issued | 2006 | |
| dc.identifier.citation | Инструментальные средства трансформации схем алгоритмов и программ / А.С. Мохница // Проблеми програмування. — 2006. — N 2-3. — С. 377-382. — Бібліогр.: 9 назв. — рос. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.uri | http://dspace.nbuv.gov.ua/handle/123456789/1536 | |
| dc.description.abstract | Статья посвящена инструментарию трансформации схем алгоритмов и программ, разрабатываемому в рамках исследований по алгебраической алгоритмике. Демонстрируется его применение на доказательстве гипотезы о тождественности двух булевых функций. | en_US |
| dc.description.abstract | Paper is dedicated to the review of the toolkit for transformation of schemas of algorithms and programs, developed within the framework of studies on algebraic algorithmics. Use of the toolkit is demonstrated on the proof of hypothesis of Boolean functions equality. | en_US |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.subject | Формальні методи програмування | en_US |
| dc.title | Инструментальные средства трансформации схем алгоритмов и программ | en_US |
| dc.title.alternative | Toolkit for transformation of schemas of algorithms and programs | en_US |
| dc.type | Article | en_US |
| dc.status | published earlier | en_US |
| dc.identifier.udc | 681.3 |
Файли у цій статті
Ця стаття з'являється у наступних колекціях
-
Проблеми програмування, 2006, № 2-3 [97]
Матеріали п'ятої міжнародної науково-практичної конференції з програмування УкрПРОГ'2006, 23-25 травня 2006 р., Україна, Київ