2025-02-23T16:40:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-1297%22&qt=morelikethis&rows=5

2025-02-23T16:40:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-1297%22&qt=morelikethis&rows=5

2025-02-23T16:40:56-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-23T16:40:56-05:00 DEBUG: Deserialized SOLR response

Аксиоматические модели и методы проектирования языковых трансляторов

Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем....

Full description

Saved in:

Bibliographic Details
Main Authors:	Парасюк, И.Н., Провотар, А.И., Кондратенко, В.А.
Format:	Article
Language:	Russian
Published:	Інститут програмних систем НАН України 2003
Subjects:	Теоретические и методологические основы программирования
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/1297
Tags:	Add Tag No Tags, Be the first to tag this record!

id	irk-123456789-1297
record_format	dspace
spelling	irk-123456789-12972008-07-25T12:04:06Z Аксиоматические модели и методы проектирования языковых трансляторов Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. Теоретические и методологические основы программирования Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем. Розглядаються питання застосування логічних методів та методів формальних систем для побудови мовних трансляторів. Запропонований аналог методу резолюцій для елементарних формальних систем. Application of logical methods and formal system theory methods used to design of language translators are considered. An analogue of a resolution method for elementary systems is proposed. 2003 Article Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1297 ru Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Теоретические и методологические основы программирования Теоретические и методологические основы программирования
spellingShingle	Теоретические и методологические основы программирования Теоретические и методологические основы программирования Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А. Аксиоматические модели и методы проектирования языковых трансляторов
description	Рассматриваются вопросы применения логических методов и методов теории формальных систем для построения языковых трансляторов. Предложен аналог метода резолюций для элементарных формальных систем.
format	Article
author	Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А.
author_facet	Парасюк, И.Н. Провотар, А.И. Кондратенко, В.А.
author_sort	Парасюк, И.Н.
title	Аксиоматические модели и методы проектирования языковых трансляторов
title_short	Аксиоматические модели и методы проектирования языковых трансляторов
title_full	Аксиоматические модели и методы проектирования языковых трансляторов
title_fullStr	Аксиоматические модели и методы проектирования языковых трансляторов
title_full_unstemmed	Аксиоматические модели и методы проектирования языковых трансляторов
title_sort	аксиоматические модели и методы проектирования языковых трансляторов
publisher	Інститут програмних систем НАН України
publishDate	2003
topic_facet	Теоретические и методологические основы программирования
url	http://dspace.nbuv.gov.ua/handle/123456789/1297
citation_txt	Аксиоматические модели и методы проектирования языковых трансляторов/ И.Н. Парасюк, А.И. Провотар, В.А. Кондратенко // Проблеми програмування. — 2003. — N 3. — С. 22—28. — Бібліогр.: 9 назв. — рос.
work_keys_str_mv	AT parasûkin aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov AT provotarai aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov AT kondratenkova aksiomatičeskiemodeliimetodyproektirovaniââzykovyhtranslâtorov
first_indexed	2023-03-24T08:21:21Z
last_indexed	2023-03-24T08:21:21Z
_version_	1796138876993011712

Аксиоматические модели и методы проектирования языковых трансляторов

Similar Items