Полное описание
>
Natural language and logic : proc.of the intern.sci.symp.,Hamburg,May 9-11,1989 / Ed. R. Studer. - Berlin[etc.] : Springer , 1990. - 252 p. : ill. - (Lecture notes in artificial intelligence ; 459). - ISBN 3-540-53082-7 : 10.83 р. - Текст : непосредственный.
Библиогр.в конце статей
| ГРНТИ | УДК | |
| 16.31.21 | 81'322(063) |
Рубрики:
Компьютерная лингвистика -- Съезды и конференции
Доп. точки доступа:
Studer, R.\ed.\
>
Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:
Trends in artificial intelligence : 2nd congress of the Italian association for artificial intelligence,Palermo,Oct.29-31,1991Proc. / IAAI, 1991. - XIV,479 p. p. - Текст : непосредственный.Extensions of logic programming:Third intern.workshop,ELP'92 Bologna, Feb.26-28,1992. : Proc. / сост.ed.by E. Lamma, сост.ed.by P. Mello, 1993. - 417 p. - Текст : непосредственный.Resolution methods for the decision problem / C.Ferm@:uller,A.Leitsch,T.Tammet,N.Zamov, 1993. - VIII,205 p. p. - Текст : непосредственный.Wansing H. The logic of information structures / H.Wansing, 1993. - IX,163 p. p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Wagner G. Vivig logic : Knowledge-based reasoning with two kinds of negation / G.Wagner, 1994. - XII,148 p. p. - Текст : непосредственный.Loocke P.R.van The dynamics of concepts : A connectionist model / P.R.van Loocke, 1994. - XI,340 p. p. - Текст : непосредственный.Hunt W.A.Jr FM8501: a verified microprocessor / W.A.JrHunt, 1994. - XIII,333 p. p. - Текст : непосредственный.Extensions of logic programming : 4th intern.workshop,ELP'93 St Andrews,March 29-Apr 1,1993.Proc. / WELP'93, 1994. - VIII,360 p. p. - Текст : непосредственный.Hernandez D. Qualitative representation of spatial knowledge / D.Hernandez, 1994. - IX,202 p. p. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Temporal logic : First intern.conf.,ICTL'94 Bonn,July 11-14,1994 / сост.ed D. M. Gabbay, сост.ed H. J. Ohlbach, 1994. - XI,545 p. p. - Текст : непосредственный.Trends in natural language generation:anartificial intelligence perspective : 4th European workshop,Pisa,28-30,1993:Selected papers / EWNLG'93, 1996. - IX,382 p. p. - Текст : непосредственный.Foundations of intelligent systems : 9th Intern.symp.on methodologies for intelligent systems,Zakopane,June9-13,1996:Proc. / ISMIS'96, 1996. - XI,664 p. p. - Текст : непосредственный.Distributed artificial intelligence:architecture and modelling : 1st Australian workshop on distributed artificial intelligence,Canberra,Nov.13,1995:Proc. / DAI, 1996. - 232 p. - Текст : непосредственный.Intelligent agents : Intern.joint conf.on artificial intelligence,Montreal,Aug.19-20,1996:Proc. / IJCAI;Ed.:M.Wooldridge et.al. 2 : Agent theories,architectures,and languages, 1996. - 437 p. - Текст : непосредственный.Advances in artificial intelligence : 11th biennial conf.of the Canadian soc.for computational studies of intelligence,Toronto,May 21-24,1996 / Canadian society for computational studies of intelligence (Toronto), 1996. - XII,456 p. p. - Текст : непосредственный.Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.Artifical intelligence in higher education : Proc.of CEPES-UNESCO intern.symp.,Prague,Oct.23-25,1989 / Ed. V. Marik, 1990. - 247 p. - Текст : непосредственный.
Показать все результатыИсследование процесса формирования речи / ВЦП. - 308 c. - Текст : непосредственный.Нгуен Ким Хань.Разработка методики анализа и синтеза речевых сигналов на основе линейного предсказания : Автореферат диссертации на соискание ученой степени канд.техн.наук: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 с. - Текст : непосредственный.Строительные блоки для речевой информации / ВЦП. - 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.16 / Юй Чжонхуа, 1994. - 18 с. - Текст : непосредственный.Хорошилов А.А. Автоматизация составления и ведения словарей для систем фразеологического машинного перевода текстов с русского языка на английский и с английского на русский : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.25.05 / А. А. Хорошилов, 1995. - 25 с. - Текст : непосредственный.Топровер Г.Л. Базовые единицы слитной речи и их использование в решении задачи свободного естественно-языкового человеко-машинного общения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Г. Л. Топровер, 1995. - 22 с. - Текст : непосредственный.Петеляк В.Е. Система поэлемнтного (фонемного) распознавания речевых сигналов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / В. Е. Петеляк, 1995. - 18 с. - Текст : непосредственный.Имаков В.Р. Исследование и разработка элементов и устройств для систем фонемного декодирования речи : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. Р. Имаков, 1995. - 16 с. - Текст : непосредственный.Программа "Алдас пэйджмэйка R" : Справочное руководство.В 11 кн. / ВЦП.Горьк.ред. - 319 c. - Текст : непосредственный.Горьков И.Л. Анализатор речевого сигнала : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.14 / И. Л. Горьков, 1996. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽