Приложение
для AndroidПолное описание
Bouchez, O. A strategy for dynamic interpretation : a fragment and an implementation / O.Bouchez,D.J.N.van Eijck,O.Istace. - Amsterdam : [s. n.], 1993. - 23 p. : ill. - (Report:Computer science / CWI ; CS-R9317). - Текст : непосредственный.
Библиогр.:с.23
| ГРНТИ | УДК | |
| 16.31.21 | 81'322 |
Рубрики:
Компьютерная лингвистика
Доп. точки доступа:
Eijck, D.J.N.van
Istace, O.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9317)
Шифр в сводном ЭК: 1691bf21a81479a7927c8e891134a172
Eijck D.J.N.van Ambiguity and reasoning / D. J.N.van Eijck, J. Jaspars, 1996. - 26 p. - Текст : непосредственный.Eijck D.J.N.van Dynamic reasoning without variables / D. J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный.Eijck D.J.N.van Presuppositions and information updating / D.J.N.van Eijck, 1995. - 17 p. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Procedural dynamic semantics, verb-phrase ellipsis,and presupposition / D.J.N.van Eijck,N.Francez, 1993. - 14 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Eijck D.J.N.van Quantification and partiality / D.J.N.van Eijck, 1991. - 35 p. - Текст : непосредственный.Bouchez O. A strategy for dynamic interpretation : A fragment and an implementation / O.Bouchez,D.J.N.van Eijck,O.Istace, 1993. - 23 p. - Текст : непосредственный.Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.Eijck D.J.N.van Formal semantics / D.J.N.van Eijck, 1990. - 18 p. - Текст : непосредственный.Eijck D.J.N.van Quantifiers / D.J.N.van Eijck, 1990. - 15 p. - Текст : непосредственный.Eijck D.J.N.van Discourse representation theory / D.J.N.van Eijck, 1990. - 10 p. - Текст : непосредственный.Eijck D.J.N.van Representing discourse in context / D.J.N.van Eijck,H.Kamp, 1996. - 61 p. - Текст : непосредственный.Eijck D.J.N.van Typed logics with states / D.J.N.van Eijck, 1997. - 20 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Eijck D.J.N.van sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный.Eijck D.J.N.van Programming with dynamic predicate logic / D.J.N.van Eijck, 1998. - 40 p. - Текст : непосредственный.Eijck D.J.N.van Incremental dynamics / D.J.N.van Eijck, 1998. - 26 p. - Текст : непосредственный.Eijck D.J.N.van Axiomatising dynamic logics for anaphora / D.J.N.van Eijck, 1998. - 22 p. - Текст : непосредственный.
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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽