Експлікативне моделювання в середовищі інтергації

Редько, Ігор

dc.contributor.author	Редько, Ігор
dc.date.accessioned	2016-02-18T13:10:41Z
dc.date.available	2016-02-18T13:10:41Z
dc.date.issued	1999
dc.identifier.citation	Редько І. В. Експлікативне моделювання в середовищі інтергації / І. В. Редько // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 30-35.	uk
dc.identifier.uri	http://ekmair.ukma.edu.ua/handle/123456789/8500
dc.description	The problems of effective reduction of parametric logical-mathematical specifications of classes of tasks in explicative models with oracle are studied. Parametric methods of this reductions for fundamental classes of this specifications are being built. Representative classes of examples of this eductions are adduced.	en
dc.description.abstract	Досліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів.	uk
dc.language.iso	uk	uk
dc.subject	експлікативне модельювання	uk
dc.subject	середовище інтеграції	uk
dc.subject	параметричні методи редукцій	uk
dc.subject	методи дедуктивного аналізу	uk
dc.title	Експлікативне моделювання в середовищі інтергації	uk
dc.title.alternative	Explicative modeling in integration environment	en
dc.type	Article	uk
dc.status	published earlier	uk
dc.relation.source	Наукові записки НаУКАМА: Комп'ютерні науки	uk