Поисковый запрос: <.>U=519.767$<.> |
Общее количество найденных документов : 14
Показаны документы с 1 по 10 |
|
1. 
| 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
Перевод заглавия: О теории (само)применения коммуникационных процессов.Краткая заметка
Ключевые слова:
коммуникационный процесс
Держатели документа:
|
2.
| 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)
Ключевые слова:
семантика языка; логический язык
Держатели документа:
|
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.
| 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
Перевод заглавия: Семантика,упорядочение и рекурсия в анализе со слабыми предварительными условиями
Ключевые слова:
рекурсия;предварительные условия
Держатели документа:
|
5.
|
Finite-state methods and natural language processing: 5th International workshop, ESMNLP 2005, Helsinki, Finland, Sept 1-2, 2005
Yli-Jyrae Anssi, Karttunen Lauri, Karhumaeki Juhani (eds.). - Berlin: Springer. - 2006. - XIV, 312 c.: ил., табл. -(Lecture notes in artificial intelligence;ISSN 0302-9743; vol. 4002). - На англ.яз. - Германия. - I. International workshop of finite-state methods and natural language processing (5; 2005; Helsinki). - ISBN 978-3-540-35467-3
ГРНТИ: 27.47.25
УДК: 519.767(063)
Перевод заглавия: Автоматы с конечным состоянием для обработки естественного языка: труды 5-го Международного семинара, Хельсинки, Финляндия, сентябрь 2005.
Держатели документа:
|
6.
|
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
Ключевые слова:
онтология
Держатели документа:
|
7.
| 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 и расширение
Ключевые слова:
семантика
Держатели документа:
|
8.
| Воронков Н.В.
Методы, алгоритмы и модели систем автоматического реферирования текстовых документов: автореф. дис. ... канд. техн. наук
Воронков Никита Владимирович;Бел. гос. ун-т. - Минск. - 2007. - 22 с. - На рус.яз. - Беларусь
ГРНТИ: 27.47.25
УДК: 519.767(043.3)
Предметные рубрики: АВТОМАТИЧЕСКИЙ ПЕРЕВОД
; АВТОМАТИЧЕСКАЯ ОБРАБОТКА ДАННЫХ
; РЕФЕРИРОВАНИЕ
Ключевые слова:
Обработка текстов
ТЕКСТОВЫЕ ДОКУМЕНТЫ
Держатели документа:
|
9.
|
Методы обнаружения эмпирических закономерностей
Акад. Загоруйко Н.Г. (науч. ред.). - Новосибирск. - 2001. - 137 с.: ил. -(Вычислительные системы: Сб. науч. тр.
Рос. АН. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева;ISSN 0568-668X; Вып. 167). - На рус.яз. - Российская Федерация
УДК: 519.767
Держатели документа:
|
10.
| Коваль В.Н.
Концепторные языки: Доказат. проектирование
Коваль В.Н.;Нац. акад. наук Украины, Ин-т им. В.М. Глушкова. - Киев: Наукова Думка. - 2001. - 183 с.: ил., портр. - На рус.яз. - Российская Федерация. - ISBN 966-00-0717-5
УДК: 519.767
Держатели документа:
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных