Приложение
для AndroidПолное описание
Eijck, D.J.N. van The dynamics of description / D.J.N. vanEijck. - Amsterdam : [s. n.], 1991. - 18 с : ил. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9143). - Текст : непосредственный.
Библиогр.: с. 17-18
| ГРНТИ | УДК | |
| 16.31.21 | 81'322 |
Рубрики:
Компьютерная лингвистика
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9143)
Шифр в сводном ЭК: fb4dbbe83268ebf551318833a0403e02
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный.Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный.Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный.Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный.Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный.Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный.Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный.Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный.Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный.Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный.Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.
Показать все результатыAsperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный.Зулкарнеев М.Ю. Разработка математических моделей и алгоритмов поиска ключевых слов в аудио-сообщениях : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. Ю. Зулкарнеев, 2006. - 23 с. - Текст : непосредственный.Чубинидзе К.А. Метод синтактико-семантических шаблонов и его применение в информационной технологии интерпретации текстов : специальность 05.25.05 "Информационные системы и процессы" : диссертация на соискание ученой степени канд. техн. наук / К. А. Чубинидзе, 2006. - 26 с. - Текст : непосредственный.Автоматическое распознавание и синтез речевых сигналов : сборник научных трудов / Институт кибернетики им. В. М. Глушкова (Киев), 1989. - 168 с. - Текст : непосредственный.Саломатина Н.В. Методы и программные средства выделения и численного оценивания вариативности языковых единиц : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Н. В. Саломатина, 2009. - 24 с. - Текст : непосредственный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational processing of the portuguese language / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Jekosch U. Voice and speech quality perception / U. Jekosch, 2005 r=on-line. - Текст : электронный.Русанова О.А. Исследование и разработка методов анализа и оценки качества синтезированной устной речи : специальность 05.13.17 "Теоретические основы информатики" : диссертация на соискание ученой степени канд. техн. наук / О. А. Русанова, 2004. - 19 с. - Текст : непосредственный.Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 2002. - 227 с. - Текст : непосредственный.Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-lineAdvances in natural language processing / SpringerLink (Online service), 2006 r=on-lineText, speech and dialogue / SpringerLink (Online service), 2006 r=on-lineJournal on data semantics VII / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Natural language processing and information systems / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Показать все результатыAsperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный.New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-lineJournal on data semantics VII / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Белоногов Г.Г. Компьютерная лингвистика и перспективные информационные технологии : монография / Г. Г. Белоногов, Ю. П. Калинин, А. А. Хорошилов, 2004. - 246 с. - Текст : непосредственный.Recent developments and applications of natural language processing / Ed. J. Peckham, 1989. - XIV,272 p. p. - Текст : непосредственный.Онтологии и тезаурусы: модели, инструменты, приложения : учебное пособие / Б. В. Добров, В. В. Иванов, Н. В. Лукашевич, В. Д. Соловьев, 2009. - 172 с. - Текст : непосредственный.Cimiano P. Ontology learning and population from text / P. Cimiano, 2006 r=on-line. - Текст : электронный.Computing attitude and affect in text: theory and applications / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Nugues P. An introduction to language processing with perl and prolog / P. Nugues, 2006 r=on-line. - Текст : электронный.Hausser R. A computational model of natural language communication / R. Hausser, 2006 r=on-line. - Текст : электронный.Natural language processing and text mining / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Grune D. Parsing techniques / D. Grune, C. Jacobs, 2008 r=on-line. - Текст : электронный.Синявский А.Л. Технология разработки лингвистического обеспечения / А. Л. Синявский, О. А. Холоденко, Н. Л. Яловенко ; Ред. А. С. Клещев, 1992. - 143 с. - Текст : непосредственный.Journal on data semantics X / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Dekker P. Cases,adverbs,situations and events / P. Dekker, 1996. - 20 p. - Текст : непосредственный.Dekker P. Scopes in discourse / P. Dekker, 1996. - 22 p. - Текст : непосредственный.Benthem J.van Tarskian variations.Dynamic parameters in classical semantics / J.van Benthem, G. Cepparello, 1994. - 27 p. - Текст : непосредственный.Metadata and semantics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Journal on data semantics II / SpringerLink (Online service), 2005 r=on-line
Показать все результатыAsperti A. Categories,types and structures : монография / A. Asperti, G. Longo, 1991. - 306 p. - Текст : непосредственный.Зулкарнеев М.Ю. Разработка математических моделей и алгоритмов поиска ключевых слов в аудио-сообщениях : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. Ю. Зулкарнеев, 2006. - 23 с. - Текст : непосредственный.Чубинидзе К.А. Метод синтактико-семантических шаблонов и его применение в информационной технологии интерпретации текстов : специальность 05.25.05 "Информационные системы и процессы" : диссертация на соискание ученой степени канд. техн. наук / К. А. Чубинидзе, 2006. - 26 с. - Текст : непосредственный.Саломатина Н.В. Методы и программные средства выделения и численного оценивания вариативности языковых единиц : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Н. В. Саломатина, 2009. - 24 с. - Текст : непосредственный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational processing of the portuguese language / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Sanskrit computational linguistics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Computational linguistics and intelligent text processing / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.New developments in parsing technology / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Заболеева-Зотова А.В. Естественный язык в автоматизированных системах. Семантический анализ текстов / А. В. Заболеева-Зотова, 2002. - 227 с. - Текст : непосредственный.Journal on data semantics VI / SpringerLink (Online service), 2006 r=on-lineAdvances in natural language processing / SpringerLink (Online service), 2006 r=on-lineText, speech and dialogue / SpringerLink (Online service), 2006 r=on-lineSymbol grounding and beyond / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Journal on data semantics VII / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.Natural language processing and information systems / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Text, speech and dialogue / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Белоногов Г.Г. Компьютерная лингвистика и перспективные информационные технологии : монография / Г. Г. Белоногов, Ю. П. Калинин, А. А. Хорошилов, 2004. - 246 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽