Поисковый запрос: <.>U=519.767$<.> |
Общее количество найденных документов : 14
Показаны документы с 1 по 10 |
|
1. 
|
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
Перевод заглавия: Абстрактная интерпретация декларативных языков
Ключевые слова:
лингвистика математическая
Держатели документа:
|
2.
| 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
Перевод заглавия: Построение предложений польского языка на основе представления их семантики
Ключевые слова:
семантика языка
Держатели документа:
|
3.
| 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
Перевод заглавия: Семантические задачи в системах преобразования естественного языка
Ключевые слова:
семантика; естественный язык; преобразование
Держатели документа:
|
4.
| 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)
Ключевые слова:
семантика языка; логический язык
Держатели документа:
|
5.
| 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
Перевод заглавия: О теории (само)применения коммуникационных процессов.Краткая заметка
Ключевые слова:
коммуникационный процесс
Держатели документа:
|
6.
| Гонца М.Г.
Основные направления формализации семантики алгоритмических языков: (Курс лекций для проведения занятий по спецкурсу Яз. программир. и яз. процессора)
Кишин. гос. ун-т им. В. И. Ленина, Каф. алгоритм. яз. и программир. - Кишинев: КГУ. - 1989. - 44 с.: ил. - На рус.яз. - Российская Федерация. - Библиогр.: с. 43-44 (14 назв.). - Тираж 300 экз.
ГРНТИ: 27.47.25
УДК: 519.767(042.3)
Держатели документа:
|
7.
| Бухараев Р.Г.
Семантический анализ в вопросно-ответных системах
Сулейманов Джавдет Шевкетович. - Казань: Изд-во Казан. ун-та. - 1990. - 123 с.: схем. - На рус.яз. - Российская Федерация. - Библиогр.: с. 99-104 (74 назв.).-Предм. указ.: с. 119-122. - Тираж 1000 экз.
ГРНТИ: 28.23; 27.47.25
УДК: 519.767
Предметные рубрики: Семантика
; Вычислительные системы диалоговые--Вывод речевых сообщений
; Речь--Распознавание автоматическое
Держатели документа:
|
8.
| Bonsangue M.
Semantics,orderings and recursion in the weakest precondition calculus
Kok J.N. - Amsterdam. - 1992. - 58 c. -(Rep./Centrum voor wiskunde en informatica,Computer science/Dep.of software technology;ISSN 0169-118X; CS-R9267). - На англ.яз. - Нидерланды. - Библиогр.:с.53-54
ГРНТИ: 27.47.25
УДК: 519.767
Перевод заглавия: Семантика,упорядочение и рекурсия в анализе со слабыми предварительными условиями
Ключевые слова:
рекурсия;предварительные условия
Держатели документа:
|
9.
| Rutten E.P.M.
Semantics of Manifold: specification in ASF+SDF and extension
Thiebaux S. - Amsterdam. - 1992. - 99 c: ил. -(Report/Centrum voor wiskunde en informatica, Computer sciencce/Dep.of interactive systems;ISSN 0169-118X;CS-R9269). - На англ.яз. - Нидерланды. - Библиогр.: с.28
ГРНТИ: 27.47.25; 50.05.09
УДК: 519.767
Перевод заглавия: Семантика языка Menifold: спецификация в ASF+SDF и расширение
Ключевые слова:
семантика
Держатели документа:
|
10.
|
Ontologie und Axiomatik der Wissensbasis von LILOG: Wissensmodellierungim IBM Dt.LILOG-Projekt
Klose G.;G.Klose et al. (Hrsg.). - Berlin etc: Springer. - 1992. - X, 253 c: ил. -(Informatik-Fachber., Subr. Kunstliche Intelligenz; Bd 307). - На англ.яз. - Германия. - Библиогр. в конце ст. - ISBN 3-540-55306-1
ГРНТИ: 27.47.25
УДК: 519.767.6
Перевод заглавия: Онтология и аксиоматика научной основы LILOG. Научное моделирование на IBM проекта Dt.LILOG
Ключевые слова:
онтология
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных