Главная страница

Базы данных


Российский сводный каталог по научно-технической литературе - результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=519.767$<.>
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; коммуникационный процесс
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Boer F.S., Kok J.N., Palamidessi C., Rutten J.J.M.M.
Заглавие : Control flow versus logic: a denotational and a declarative model for Suarded Horn Clauses
Выходные данные : Amsterdam, 1989
Колич.характеристики :16 с: ил
Серия: Report/Centrum voor wiskunde en informatica, Computer science/Dep. of software technology; CS-R8952
Примечания : ; Библиогр.: с. 12-14
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; семантика языка; логический язык
Найти похожие
3.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; семантика; естественный язык; преобразование
Найти похожие
4.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Bonsangue M., Kok J.N.
Заглавие : Semantics,orderings and recursion in the weakest precondition calculus
Выходные данные : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; рекурсия;предварительные условия
Найти похожие
5.
Вид документа : Однотомное издание
Шифр издания : ; 27.47.25. grnti
Заглавие : Finite-state methods and natural language processing : 5th International workshop, ESMNLP 2005, Helsinki, Finland, Sept 1-2, 2005
Выходные данные : Berlin: Springer, 2006
Колич.характеристики :XIV, 312 c.: ил., табл
Серия: Lecture notes in artificial intelligence, ISSN 0302-9743; vol. 4002
Примечания : ; Библиогр. в конце докл. Указ.: Auth. ind.: c. 311-312. - ; I. International workshop of finite-state methods and natural language processing (5; 2005; Helsinki).
ISBN, Цена 978-3-540-35467-3: Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
6.
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Ontologie und Axiomatik der Wissensbasis von LILOG : Wissensmodellierungim IBM Dt.LILOG-Projekt
Выходные данные : Berlin etc: Springer, 1992
Колич.характеристики :X, 253 c: ил
Серия: Informatik-Fachber., Subr. Kunstliche Intelligenz; Bd 307
Примечания : ; Библиогр. в конце ст
ISBN, Цена 3-540-55306-1: Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; онтология; аксиоматика
Найти похожие
7.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Rutten E.P.M., Thiebaux S.
Заглавие : Semantics of Manifold: specification in ASF+SDF and extension
Выходные данные : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; семантика
Найти похожие
8.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Воронков, Никита Владимирович
Заглавие : Методы, алгоритмы и модели систем автоматического реферирования текстовых документов : автореф. дис. ... канд. техн. наук
Выходные данные : Минск, 2007
Колич.характеристики :22 с.
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Предметные рубрики: АВТОМАТИЧЕСКИЙ ПЕРЕВОД
АВТОМАТИЧЕСКАЯ ОБРАБОТКА ДАННЫХ
РЕФЕРИРОВАНИЕ
Ключевые слова (''Своб.индексиров.''): 0 ; обработка текстов--0 ; текстовые документы
Найти похожие
9.
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Методы обнаружения эмпирических закономерностей
Выходные данные : Новосибирск, 2001
Колич.характеристики :137 с.: ил
Серия: Вычислительные системы: Сб. науч. тр./ Рос. АН. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева, ISSN 0568-668X; Вып. 167
Примечания : ; Библиогр. в конце работ
Цена : Б.ц.
УДК :
Найти похожие
10.
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Коваль, Валерий Николаевич
Заглавие : Концепторные языки : Доказат. проектирование
Выходные данные : Киев: Наукова Думка, 2001
Колич.характеристики :183 с.: ил., портр
Примечания : ; Библиогр. : с. 173-182
ISBN, Цена 966-00-0717-5: Б.ц.
УДК :
Найти похожие
 1-10    11-14 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)