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

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>U=519.767$<.>
Общее количество найденных документов : 14
Показаны документы с 1 по 10
 1-10    11-14 
1.
Abstracts interpretation of declarative languages/Ed.: Samson ABramsky and Chris Hankin. - 1987
2.
Mykowiecka A. Generacja zdan w jezyku polskim na podstawie reprezentacji ich semantyki. - 1988
3.
Marciniak M. Problemy semantyczne w systemach przetwarzania jezyka naturalnego. - 1988
4.
Boer F.S. Control flow versus logic: a denotational and a declarative model for Suarded Horn Clauses. - 1989
5.
Goeman H.H.M. Towards a theory of (self) applicative communicating processes. - 1989
6.
Гонца Основные направления формализации семантики алгоритмических языков/Кишин. гос. ун-т им. В. И. Ленина, Каф. алгоритм. яз. и программир.. - 1989
7.
Бухараев Семантический анализ в вопросно-ответных системах. - 1990
8.
Bonsangue M. Semantics,orderings and recursion in the weakest precondition calculus. - 1992
9.
Rutten E.P.M. Semantics of Manifold: specification in ASF+SDF and extension. - 1992
10.
Ontologie und Axiomatik der Wissensbasis von LILOG. - 1992
 1-10    11-14 

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