Поисковый запрос: <.>U=519.767$<.> |
Общее количество найденных документов : 14
Показаны документы с 1 по 10 |
|
1. 
| Коваль В.Н.
Концепторные языки: Доказат. проектирование
Коваль В.Н.;Нац. акад. наук Украины, Ин-т им. В.М. Глушкова. - Киев: Наукова Думка. - 2001. - 183 с.: ил., портр. - На рус.яз. - Российская Федерация. - ISBN 966-00-0717-5
УДК: 519.767
Держатели документа:
|
2.
|
Методы обнаружения эмпирических закономерностей
Акад. Загоруйко Н.Г. (науч. ред.). - Новосибирск. - 2001. - 137 с.: ил. -(Вычислительные системы: Сб. науч. тр.
Рос. АН. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева;ISSN 0568-668X; Вып. 167). - На рус.яз. - Российская Федерация
УДК: 519.767
Держатели документа:
|
3.
| Воронков Н.В.
Методы, алгоритмы и модели систем автоматического реферирования текстовых документов: автореф. дис. ... канд. техн. наук
Воронков Никита Владимирович;Бел. гос. ун-т. - Минск. - 2007. - 22 с. - На рус.яз. - Беларусь
ГРНТИ: 27.47.25
УДК: 519.767(043.3)
Предметные рубрики: АВТОМАТИЧЕСКИЙ ПЕРЕВОД
; АВТОМАТИЧЕСКАЯ ОБРАБОТКА ДАННЫХ
; РЕФЕРИРОВАНИЕ
Ключевые слова:
Обработка текстов
ТЕКСТОВЫЕ ДОКУМЕНТЫ
Держатели документа:
|
4.
| Гонца М.Г.
Основные направления формализации семантики алгоритмических языков: (Курс лекций для проведения занятий по спецкурсу Яз. программир. и яз. процессора)
Кишин. гос. ун-т им. В. И. Ленина, Каф. алгоритм. яз. и программир. - Кишинев: КГУ. - 1989. - 44 с.: ил. - На рус.яз. - Российская Федерация. - Библиогр.: с. 43-44 (14 назв.). - Тираж 300 экз.
ГРНТИ: 27.47.25
УДК: 519.767(042.3)
Держатели документа:
|
5.
| Бухараев Р.Г.
Семантический анализ в вопросно-ответных системах
Сулейманов Джавдет Шевкетович. - Казань: Изд-во Казан. ун-та. - 1990. - 123 с.: схем. - На рус.яз. - Российская Федерация. - Библиогр.: с. 99-104 (74 назв.).-Предм. указ.: с. 119-122. - Тираж 1000 экз.
ГРНТИ: 28.23; 27.47.25
УДК: 519.767
Предметные рубрики: Семантика
; Вычислительные системы диалоговые--Вывод речевых сообщений
; Речь--Распознавание автоматическое
Держатели документа:
|
6.
|
Abstracts interpretation of declarative languages
Ed.: Samson ABramsky and Chris Hankin. - Chichester (W. Sx.): Ellis Harwood. - 1987. - 284 с: ил., табл. -(Ellis Harwood series in computers and their applications). - На англ.яз. - Великобритания. - Библиогр.: с. 276-282. -Указ.: с. 283-284. - ISBN 0-7458-0109-9
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: Абстрактная интерпретация декларативных языков
Ключевые слова:
лингвистика математическая
Держатели документа:
|
7.
| Mykowiecka A.
Generacja zdan w jezyku polskim na podstawie reprezentacji ich semantyki. - Warszawa: Inst. podstaw informatyki Pol. akad. nauk. - 1988. - 48 с. -(Pr. IPI PAN;ISSN 0138-0648; 644). - На польск.яз. - Польша. - Рез. англ., пол.-Библиогр.: с.45-47
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: Построение предложений польского языка на основе представления их семантики
Ключевые слова:
семантика языка
Держатели документа:
|
8.
| Marciniak M.
Problemy semantyczne w systemach przetwarzania jezyka naturalnego. - Warszawa: Inst. podstaw informatyki Pol. - 1988. - 58 с. -(Pr. IPI PAN;ISSN 0138-0648; 647). - На польск.яз. - Польша. - Рез. англ., пол.-Библиогр.: с.53-56
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: Семантические задачи в системах преобразования естественного языка
Ключевые слова:
семантика; естественный язык; преобразование
Держатели документа:
|
9.
| Boer F.S.
Control flow versus logic: a denotational and a declarative model for Suarded Horn Clauses
Kok J.N., Palamidessi C., Rutten J.J.M.M. - Amsterdam. - 1989. - 16 с: ил. -(Report/Centrum voor wiskunde en informatica, Computer science/Dep. of software technology; CS-R8952). - На англ.яз. - Нидерланды. - Библиогр.: с. 12-14
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: Контрольный поток против логики: семантические модели для конкуррентного логического языка (Suarded Horn Clauses)
Ключевые слова:
семантика языка; логический язык
Держатели документа:
|
10.
| Goeman H.H.M.
Towards a theory of (self) applicative communicating processes: A short note. - Amsterdam. - 1989. - 5 c. -(Rep./Centrum voor wiskunde en informatica,Computer science/Dep.of software technology;CS-R8924). - На англ.яз. - Нидерланды. - Библиогр.:с.5
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: О теории (само)применения коммуникационных процессов.Краткая заметка
Ключевые слова:
коммуникационный процесс
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных