Поисковый запрос: <.>U=519.767$<.> |
Общее количество найденных документов : 14
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : K
Заглавие : Abstracts interpretation of declarative languages
Выходные данные : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 0 ; лингвистика математическая
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : 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
УДК :
Ключевые слова (''Своб.индексиров.''): 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
Автор(ы) : 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 ; семантика языка; логический язык
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 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 ; коммуникационный процесс
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Гонца, Михаил Георгиевич
Заглавие : Основные направления формализации семантики алгоритмических языков
: (Курс лекций для проведения занятий по спецкурсу Яз. программир. и яз. процессора)
Выходные данные : Кишинев: КГУ, 1989
Колич.характеристики :44 с.:
ил.
Примечания : ; Библиогр.: с. 43-44 (14 назв.)
Цена : Б.ц.
ГРНТИ : ; 27.47.25
УДК :
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : K
Автор(ы) : Бухараев, Раис Гатич, Сулейманов, Джавдет Шевкетович
Заглавие : Семантический анализ в вопросно-ответных системах
Выходные данные : Казань: Изд-во Казан. ун-та, 1990
Колич.характеристики :123 с.:
схем.
Примечания : ; Библиогр.: с. 99-104 (74 назв.).-Предм. указ.: с. 119-122
Цена : Б.ц.
ГРНТИ : ; 28.23 + ; 27.47.25
УДК :
Предметные рубрики: Семантика
Вычислительные системы диалоговые
Речь
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 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 ; рекурсия;предварительные условия
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 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 ; семантика
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 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 ; онтология; аксиоматика
Найти похожие
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных