Приложение
для AndroidПолное описание
Blackburn, P. Linguistics,logic,and finite trees / P.Blackburn,W.Meyer-Viol. - Amsterdam : [s. n.], 1994. - 25 p. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9412). - 100 р. - Текст : непосредственный.
Библиогр.в конце книги.
| ГРНТИ | УДК | |
| 16.31 | 81'322 |
Рубрики:
Компьютерная лингвистика
Доп. точки доступа:
Meyer-Viol, W.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыИсследование процесса формирования речи / ВЦП. - 308 c. - Текст : непосредственный.Луканова Р.П. Ситуационно-семантический анализ естественного языка : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Р. П. Луканова, 1991. - 19 с. - Текст : непосредственный.Нгуен Ким Хань.Разработка методики анализа и синтеза речевых сигналов на основе линейного предсказания : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Нгуен Ким Хань, 1991. - 15 с. - Текст : непосредственный.Попескул А.Н. Продукционно-сетевой подход к моделированию смысла научно-технического текста : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / А. Н. Попескул, 1990. - 35 с. - Текст : непосредственный.Левицкий А.С. Математические модели словообразовательной семантики ключевых слов и их использование для автоматической обработки текстов русского языка : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. С. Левицкий, 1990. - 22 с. - Текст : непосредственный.Старизный А.Е. Автоматическое построение указателей к словарям словосочетаний с учетом парадигматических отношений между понятиями : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. Е. Старизный, 1991. - 27 с. - Текст : непосредственный.Совпель И.В. Автоматизированная переработка текста на основе воспроизводящего моделирования лингвистических объектов и процессов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.25.05 / И. В. Совпель, 1991. - 35 с. - Текст : непосредственный.Корнейчук Т.Б. Об автоматическом синтаксическом анализе русских текстов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / Т. Б. Корнейчук, 1991. - 18 с. - Текст : непосредственный.Аль-Аржа Вадиа Искандер.Проблемно-ориентированная вычислительная среда для автоматизации изучения иностранного языка : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Аль-Аржа Вадиа Искандер., 1992. - 16 с. - Текст : непосредственный.Строительные блоки для речевой информации / ВЦП. - 15 c. - Текст : непосредственный.Фан Хоа Бинь.Исследование систем интеграции речи и данных в информационных сетях с линейной структурой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / Фан Хоа Бинь, 1993. - 23 с. - Текст : непосредственный.Интерактивная лабораторная система. Прикладная аннотация N1. Анализ и синтез речи / ВЦП. - 34 c. - Текст : непосредственный.Бродкаст-Тайтлер-2 / ВЦП. - 58 c. - Текст : непосредственный.Пиотровская К.Р. Модели, программные и информационные средства учебного АРМ переводчика : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / К. Р. Пиотровская, 1993. - 17 с. - Текст : непосредственный.Гельбух А.Ф. Эффективно реализуемая на ЭВМ модель морфологии флективного естественного языка : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / А. Ф. Гельбух, 1994. - 23 с. - Текст : непосредственный.Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : Автореферат диссертации на соискание ученой степени канд.филос.наук:05.13.17 / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный.Юй Чжонхуа.Модели, методы и алгоритмы автоматического анализа текстов на китайском языке : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Юй Чжонхуа, 1994. - 18 с. - Текст : непосредственный.Хорошилов А.А. Автоматизация составления и ведения словарей для систем фразеологического машинного перевода текстов с русского языка на английский и с английского на русский : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. А. Хорошилов, 1995. - 25 с. - Текст : непосредственный.Топровер Г.Л. Базовые единицы слитной речи и их использование в решении задачи свободного естественно-языкового человеко-машинного общения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Г. Л. Топровер, 1995. - 22 с. - Текст : непосредственный.Манако А.Ф. Iнструментальнi та прикладнi засоби комп'ютерних технологiй навчання украiнськiй мовi : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. Ф. Манако, 1995. - 16 с. - Текст : непосредственный.
Показать все результатыEijck D.J.N.van Procedural dynamic semantics, verb-phrase ellipsis,and presupposition / D.J.N.van Eijck,N.Francez, 1993. - 14 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. - Текст : непосредственный.Kanazawa M. Identification in the limit of categorial grammars / M.Kanazawa, 1993. - 32 p. - Текст : непосредственный.Asperti A. Categories,types and structures : An introduction to category theory for the computer scientist / A.Asperti,G.Longo, 1991. - 306 p. - Текст : непосредственный.Blackburn P. Linguistics,logic,and finite trees / P.Blackburn,W.Meyer-Viol, 1994. - 25 p. - Текст : непосредственный.Serafimovski S. Syntactic computation systems : Diss. / S.Serafimovski, 1994. - 67 p. - Текст : непосредственный.Benthem J.van Tarskian variations.Dynamic parameters in classical semantics / J.van. Benthem,G.Cepparello, 1994. - 27 p. - Текст : непосредственный.Kanazawa M. A note on language classes with finite elasticity / M.Kanazawa, 1994. - 7 p. - Текст : непосредственный.Eijck D.J.N.van Presuppositions and information updating / D.J.N.van Eijck, 1995. - 17 p. - Текст : непосредственный.Eijck D.J.N.van Representing discourse in context / D.J.N.van Eijck,H.Kamp, 1996. - 61 p. - Текст : непосредственный.Groenink A.V. Tractability issues in extraposition grammar / A.V.Groenink, 1996. - 16 p. - Текст : непосредственный.Наумов Н.А. Об одной графовой модели вычислителей: свойства + оптимизации + применения + оценки. (По материалам исследований реализаций блоков выборки команд виртуальных языковых процессоров) / Н.А.Наумов, 1996. - 30 с. - Текст : непосредственный.Dekker P. Cases,adverbs,situations and events / P.Dekker, 1996. - 20 p. - Текст : непосредственный.Dekker P. Scopes in discourse / P.Dekker, 1996. - 22 p. - Текст : непосредственный.Nishikimi M. computer model of language acquisition based on general learning mechanism / M.Nishikimi, 1991. - 133 p. - Текст : непосредственный.Синявский А.Л. Технология разработки лингвистического обеспечения / А.Л.Синявский,О.А.Холоденко,Н.Л.Яловенко;Отв. ред. А. С. Клещев, 1992. - 143 с. - Текст : непосредственный.Степанов В.А. Использование динамических систем в семантике аутореферентных предложений / В.А.Степанов, 1997. - 24 с. - Текст : непосредственный.Eijck D.J.N.van Quantification and partiality / D.J.N.van Eijck, 1991. - 35 p. - Текст : непосредственный.Лингвистический процессор для сложных информационных систем / Ю.Д.Апресян,И.М.Богуславский,Л.Л.Иомдин и др.;Отв. ред. Л.П Крысин, 1992. - 256 с. - Текст : непосредственный.Шемакин Ю.И. Начала компьютерной лингвистики : Учеб. пособие / Ю.И.Шемакин, 1992. - 114 с. - Текст : непосредственный.
Показать все результатыСовпель И.В. Автоматизированная переработка текста на основе воспроизводящего моделирования лингвистических объектов и процессов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.25.05 / И. В. Совпель, 1991. - 35 с. - Текст : непосредственный.Пиотровская К.Р. Модели, программные и информационные средства учебного АРМ переводчика : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / К. Р. Пиотровская, 1993. - 17 с. - Текст : непосредственный.Семенова С.Ю. Исследование языковых средств выражения параметрической информации и алгоритмизация ее поиска в тексте : Автореферат диссертации на соискание ученой степени канд.филос.наук:05.13.17 / С. Ю. Семенова, 1994. - 24 с. - Текст : непосредственный.Юй Чжонхуа.Модели, методы и алгоритмы автоматического анализа текстов на китайском языке : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Юй Чжонхуа, 1994. - 18 с. - Текст : непосредственный.Хорошилов А.А. Автоматизация составления и ведения словарей для систем фразеологического машинного перевода текстов с русского языка на английский и с английского на русский : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. А. Хорошилов, 1995. - 25 с. - Текст : непосредственный.Поляков В.Н. Модели алгоритмического типа для распознавания семантических связей в системах машинной обработки естественного языка : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / В. Н. Поляков, 1997. - 20 с. - Текст : непосредственный.Шаров С.А. Инструментальная система для разработки лингвистических процессоров : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / С. А. Шаров, 1997. - 27 с. - Текст : непосредственный.Мажаров Л.Г. Разработка методов и средств построения предметно-ориентированных лингвистических процессоров для автоматизированных систем научных исследований : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.16 / Л. Г. Мажаров, 1997. - 18 с. - Текст : непосредственный.Исмоилова Р.М. Моделирование процесса автоматического перевода с таджикского языка на английский язык словоформ, образованных от имен числительных : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Р. М. Исмоилова, 1998. - 15 с. - Текст : непосредственный.Зеленков Ю.Г. Теоретические и прикладные аспекты применения метода аналогии в системах автоматической обработки текстовой информации : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.13.17 / Ю. Г. Зеленков, 1999. - 45 с. - Текст : непосредственный.Пономарева С.М. Система формирования концептуального представления предметной области на основе анализа проблемно-ориентированных естественно-языковых текстов: модели, методы и программное обеспечение : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. М. Пономарева, 1999. - 18 с. - Текст : непосредственный.Субботин А.В. Автоматизированное формирование лингвистических баз знаний: интеграционный подход : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.11 / А. В. Субботин, 1999. - 18 с. - Текст : непосредственный.Родченко В.Г. Автоматизация научных исследований при решении задач атрибуции текстов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / В. Г. Родченко, 1999. - 19 с. - Текст : непосредственный.Мосавимиянгах Тайеби.Морфологический анализ в системе англо-персидского машинного перевода : Автореферат диссертации на соискание ученой степени канд. филол. наук :10.02.21 / Мосавимиянгах Тайеби, 2002. - 18 с. - Текст : непосредственный.Назаров М.А. Использование семантических связей в системах анализа текстов на естественном языке : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / М. А. Назаров, 2002. - 14 с. - Текст : непосредственный.Панкратова А.З. Разработка модели и метода структурирования текста с целью его идентификации : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.17 / А. З. Панкратова, 2002. - 18 с. - Текст : непосредственный.Брик А.В. Исследование и разработка вероятностных методов синтаксического анализа текста на естественном языке : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Брик, 2002. - 16 с. - Текст : непосредственный.Гатиатуллин А.Р. Структурно-функциональное моделирование лексики в прагматически-ориентированных лингвопроцессорах : автореф. дис. .. канд. техн. наук : 05.13.18 / А. Р. Гатиатуллин, 2002. - 22 с. - Текст : непосредственный.Глазунов А.Г. Концептно-ориентированная модель памяти программной системы автоматизированного перевода : автореф. дис. .. канд. техн. наук : 05.13.11 / А. Г. Глазунов, 2002. - 14 с. - Текст : непосредственный.Королев А.Н. Модели и технологии поверхностного понимания текста : автореф. дис. .. канд. техн. наук : 05.13.18 / А. Н. Королев, 2002. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽