Приложение
для AndroidПолное описание
Kameyama, M. Indefeasible semantics and defeasible pragmatics / M. Kameyama. - Amsterdam : [s. n.], 1994. - 27 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9441). - Текст : непосредственный.
Библиогр.:с.25-27
| ГРНТИ | УДК | |
| 16.21.33 | 801:51 |
Рубрики:
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9441)
Шифр в сводном ЭК: d22e8ddeb092a3c92eb88158de8b34a7
Kameyama M. Indefeasible semantics and defeasible pragmatics / M. Kameyama, 1994. - 27 p. - Текст : непосредственный.Effects of temperature-dependent thermal diffusivity on shear instability in a viscoelastic zone : Implications for faster ductile faulting and earthquakes in the spinel stability field / J.M.Branlund,M.Kameyama,D.A.Yuen,Y.Kaneda, 2000. - 19 p. - Текст : непосредственный.Kameyama M. The interaction of viscous heating with grain-size dependent rheology in the formation of localized slip zones / M.Kameyama,D.A.Yuen,H.Fujimoto, 1997. - 12 p. - Текст : непосредственный.Kameyama M. Thermal-mechanical effects of low-temperature plasticity (the Peierls mechanism) on the deformation of a viscoelastic shear zone / M.Kameyama,D.A.Yuen,S.-I.Karato, 1998. - 16 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. - Текст : непосредственный.
Показать все результатыМетаязык науки : материалы временных коллективов, 2012. - 877 с. - Текст : непосредственный.Aspects of natural language processing / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Демьянков В.З. Морфологическая интерпретация текста и ее моделирование / В. З. Демьянков, 1994. - 206 c. - Текст : непосредственный.Linguistic Inquiry. - выходит с 1970г. - Текст : электронный.Kameyama M. Indefeasible semantics and defeasible pragmatics / M. Kameyama, 1994. - 27 p. - Текст : непосредственный.
Редактирование радиопередач / Гос.ком.по радиовещанию,телевидению при Совете Министров СССР.Науч.-метод.отд., 1958. - 48 c. - Текст : непосредственный.Tsang V. Second language information transfer in automatic verb classification : A prelim. investigation / V.Tsang, 2002. - X,103,7 p. p. - Текст : непосредственный.Крижановский А.А. Математическое и программное обеспечение построения списков семантически близких слов на основе рейтинга вики-текстов : автореф. дис. .. канд. техн. наук: 05.13.11 / А. А. Крижановский, 2008. - 18 с. - Текст : непосредственный.Антонова С.Г. Редактирование: общий курс : учебник / С. Г. Антонова, В. И. Соловьев, К. Т. Ямчук, 2011. - 314 с. - Текст : непосредственный.Кушнерук С.П. Документная лингвистика (русский деловой текст) : Учеб.пособие / С.П.Кушнерук, 1999. - 93 с. - Текст : непосредственный.Пентус А.Е. Математическая теория формальных языков / А. Е. Пентус, М. Р. Пентус, 2006. - 247 с. - Текст : непосредственный.Библиотекарь и время. XXI век : Серия. № 106 : Современный документный текст: создание и исследование : научно-методическое пособие / С. П. Кушнерук, 2009. - 191 с. - Текст : непосредственный.Карлов Б.Н. О классах категориальных грамматик зависимостей : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / Б. Н. Карлов, 2012. - 18 с. - Текст : непосредственный.Тарасенко А.В. Разработка и исследование методов и моделей автоматической проверки текстов на соответствие требованиям технической документации : автореф. дис. .. канд. техн. наук: 05.13.17 / А. В. Тарасенко, 2009. - 20 с. - Текст : непосредственный.Валгина Н.С. Теория текста : Учеб. пособие для студентов вузов, обучающихся по спец. 021500 - "Издательское дело и редактирование", 021600 - "Книгораспространение" / Н.С.Валгина, 2003. - 279 с. - Текст : непосредственный.Шаляпина З.М. Трехмерная стратификационная модель языка и его функционирования : к общей теории лингвистических моделей / З. М. Шаляпина, 2007. - 480 с. - Текст : непосредственный.Редактор: сегодня и завтра : Сб. ст. / Сост. О. И. Слуцкий; Под общ. ред. Б. В. Ленского, 1991. - 80 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Kameyama M. Indefeasible semantics and defeasible pragmatics / M. Kameyama, 1994. - 27 p. - Текст : непосредственный.Кизянов А.Ф. Разработка и исследование методов и средств полнотекстового индексирования информации с учетом морфологии естественного языка : автореф. дис. .. канд. техн. наук: 05.13.17 / А. Ф. Кизянов, 2005. - 16 c. - Текст : непосредственный.Шевелев О.Г. Разработка и исследование алгоритмов сравнения стилей текстовых произведений : автореф. дис. .. канд. техн. наук: 05.13.18 / О. Г. Шевелев, 2006. - 19 с. - Текст : непосредственный.Кулакова К.А. Грамматическая категория в аспекте фреймового анализа (на материале научных тезисов) : автореф. дис. .. канд. филолог. наук: 10.02.21 / К.А. Кулакова, 2004. - 19 с. - Текст : непосредственный.Пентус М.Р. Полнота исчисления Ламбека : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / М. Р. Пентус, 2000. - 26 с. - Текст : непосредственный.Армеева А.Р. Когнитивная категория выделенности и ее языковые корреляты (моделирование процесса вербализации визуальной информации) : Автореферат диссертации на соискание ученой степени канд. филол. наук: 10.02.21 / А. Р. Армеева, 2001. - 26 с. - Текст : непосредственный.Heikkila H. Definability and infinitely deep languages : Diss. / H.Heikkil@:a, 1993. - 62 p. - Текст : непосредственный.Francez N. On the direction of fibring feature logics with concatenation logics / N.Francez, 1997. - 9 p. - Текст : непосредственный.Francez N. Hypothetical-reasoning and radical non-constituent coordination in categorial logic / N.Francez, 1997. - 11 p. - Текст : непосредственный.Lobacz P. Psychometryczne metody klasyfikacji elementow segmentalnych mowy / P.Lobacz, 1989. - 31 s. - Текст : непосредственный.Baltag A. logic of public announcements, common knowledge, and private suspicions / A.Baltag,L.S.Moss,S.Solecki, 1999. - 32 p. - Текст : непосредственный. ГОСТ 7.75-97 Коды наименований языков : введ. с 01.01.99, 1998. - 24 с. - Текст : непосредственный.Heijmans H.J.A.M. Composing morphological filters / H.J.A.M.Heijmans, 1995. - 19 p. - Текст : непосредственный.Охотин А.С. Вопросы сложности анализа конъюнктивных грамматик : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. С. Охотин, 2002. - 23 с. - Текст : непосредственный.
Заказ фрагмента документа ₽