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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=519.767$<.>
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
Goeman H.H.M. Towards a theory of (self) applicative communicating processes. - 1989
2.
Boer F.S. Control flow versus logic: a denotational and a declarative model for Suarded Horn Clauses. - 1989
3.
Marciniak M. Problemy semantyczne w systemach przetwarzania jezyka naturalnego. - 1988
4.
Bonsangue M. Semantics,orderings and recursion in the weakest precondition calculus. - 1992
5.
Finite-state methods and natural language processing/Yli-Jyrae Anssi, Karttunen Lauri, Karhumaeki Juhani (eds.). - 2006
6.
Ontologie und Axiomatik der Wissensbasis von LILOG. - 1992
7.
Rutten E.P.M. Semantics of Manifold: specification in ASF+SDF and extension. - 1992
8.
Воронков Н.В. Методы, алгоритмы и модели систем автоматического реферирования текстовых документов/Воронков Никита Владимирович. - 2007
9.
Методы обнаружения эмпирических закономерностей/Акад. Загоруйко Н.Г. (науч. ред.). - 2001
10.
Коваль В.Н. Концепторные языки/Коваль В.Н.. - 2001
 1-10    11-14 

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)