Полное описание
>
Wansing, H. The logic of information structures / H.Wansing. - Berlin : Springer, 1993. - IX,163 p. p. : ill. - (Lecture notes in artificial intelligence ; 681). - ISBN 3-540-56734-8 : 18830 р. - Текст : непосредственный.
Библиогр.:с.149-155.Указ.:с.158-163
| ГРНТИ | УДК | |
| 28.21 | 519.72 |
Рубрики:
Теория информации
>
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыДоступ к общественной мультимегабитной коммутируемой службе передачи данных / ВЦП. - 27 с. - Текст : непосредственный.Абдурахманов Ж.К. О геометрической структуре кодов,исправляющих ошибки : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ж. К. Абдурахманов, 1991. - 11 с. - Текст : непосредственный.Цфасман М.А. Глобальные поля,корректирующие коды и упаковки шаров : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17:01.01.06 / М. А. Цфасман, 1991. - 23 с. - Текст : непосредственный.Угриновский Р.А. Методы теории моментов в спектральном анализе : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / Р. А. Угриновский, 1993. - 25 с. - Текст : непосредственный.Гавриленко Ю.В. Конгруэнции на термах и унификация : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Ю. В. Гавриленко, 1993. - 18 с. - Текст : непосредственный.Голубев Г.К. Асимптотически минимаксные задачи непараметрического оценивания при квадратичных потерях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:05.13.17 / Г. К. Голубев, 1993. - 30 с. - Текст : непосредственный.Ашихмин А.Е. Разработка алгоритмов быстрого декодирования для блоковых и сверточных кодов в дискретных и полунепрерывных каналах : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.01 / А. Е. Ашихмин, 1993. - 19 с. - Текст : непосредственный.Куренков Б.Е. Аналитическое моделирование дискретно-временных и структурно-сложных систем передачи информации : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Б. Е. Куренков, 1993. - 17 с. - Текст : непосредственный.Обзор по Федеральным стандартам 1026/1027 / ВЦП. - 32 c. - Текст : непосредственный.Система "Мейлсейф" компании "RSA дейте сикьюрити" / ВЦП. - 15 c. - Текст : непосредственный.Система PHASORCODE 1000 фирмы IPT лтд. / ВЦП. - 20 c. - Текст : непосредственный.Система РС LOCK III фирмы MPPi / ВЦП. - 14 c. - Текст : непосредственный.Савченко В.В. Адаптивные методы нелинейного спектрального оценивания на основе принципа минимакса энтропии : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.12.01 / В. В. Савченко, 1993. - 42 с. - Текст : непосредственный.Кочуров В.А. Исследование и разработка методов и средств автоматизированного проектирования программного обеспечения цифровых процессоров обработки сигналов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / В. А. Кочуров, 1994. - 16 с. - Текст : непосредственный.Потапов В.Г. Алгоритмы декодирования в список и их реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01,05.13.17 / В. Г. Потапов, 1994. - 18 с. - Текст : непосредственный.Федоренко С.В. Декодирование линейных блоковых кодов по обобщенным информационным совокупностям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. В. Федоренко, 1994. - 15 с. - Текст : непосредственный.Яцко В.А. Разработка математического обеспечения идентификации и прогнозирования сигналов, описываемых аддитивно-мультипликативными нестационарными случайными процессами : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.14 / В. А. Яцко, 1995. - 19 с. - Текст : непосредственный.Введение в СШД: стандарт шифровки данных / ВЦП. - 53 c. - Текст : непосредственный.Бояринов И.М. Методы помехоустойчивого кодирования и их применение в полупроводниковой памяти высокопроизводительных ЭВМ : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / И. М. Бояринов, 1994. - 28 с. - Текст : непосредственный.Терентьев А.И. Элементы теории и алгоритмы декорирования числовых линейных блоковых корректирующих кодов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / А. И. Терентьев, 1996. - 22 с. - Текст : непосредственный.
Показать все результатыLi M. Mathematical theory of thermodynamics of computation / M.Li,P.M.B.Vitanyi, 1992. - 16 p. - Текст : непосредственный.Белов П.В. Элементы теории информации и статистического кодирования : Учеб.пособие / П.В.Белов, 1993. - 24 c. - Текст : непосредственный.Успенский В.А. Relations between varieties of Kolmogorov complexities / В.А.Успенский,A.Shen, 1993. - 38 p. - Текст : непосредственный.Constantinescu P. Sinergia,informatia,si geneza sistemelor fundamentele sinergeticii / P.Constantinescu, 1990. - 320 мкф. - Текст : непосредственный.Takano S. A note on the dual representation of the capacity of a DMC / S.Takano, 1994. - 5 p. - Текст : непосредственный.Панин В.В. Основы теории дискретизации непрерывных функций : Учеб.пособие / В.В.Панин, 1994. - 30 c. - Текст : непосредственный.Цымбал Л.А. Синергетика информационных процессов. Закон информативности и его следствия / Л.А.Цымбал, 1995. - 118 c. - Текст : непосредственный.Мелик-Гайказян И.В. Информация и самоорганизация : Методол.анализ / И.В.Мелик-Гайказян, 1995. - 179 c. - Текст : непосредственный.Lee K.-W. On the bias of bootstrap model selection criteria / K.-W.Lee, 1995. - 12 p. - Текст : непосредственный.Гоппа В.Д. Введение в алгебраическую теорию информации / В.Д.Гоппа, 1995. - 108 c. - Текст : непосредственный.Wansing H. The logic of information structures / H.Wansing, 1993. - IX,163 p. p. - Текст : непосредственный.Меняев М.Ф. Геометрия информационного пространства / М.Ф.Меняев, 1993. - 39 c. - Текст : непосредственный.Дмитриев А.С. Синхронизация ансамблей диссипативно связанных отображений / А. С. Дмитриев, С. О. Старков, М. Е. Широков, 1995. - 38 c. - Текст : непосредственный.Юшин В.Н. Термодинамика и информация / В.Н.Юшин, 1995. - 59 c. - Текст : непосредственный.Jung S-H. A note on parametric bootstrap model selection / S-H.Jung,K-W.Lee,J-Y.Koo, 1996. - 11 p. - Текст : непосредственный.Нарышкин, А. К. Основы теории радиотехнических систем извлечения информации : Учеб.пособие по курсу "Принципы радиолокации и телевидения". Ч. 1 : Классификация систем, физика и энтропия источников информации, 1996. - 59 с. - Текст : непосредственный.Nasri-Roudsari G. Der Kramer Abtastsatz im Zusammenhang mit Sturm-Liouville Differentialgleichungen und Quasi-Differentialgleichungen hoherer Ordnung : Diss. / G.Nasri-Roudsari, 1996. - 117 S. - Текст : непосредственный.Гуменюк А.С. Элементы классической и современной теории информации (Организация информирования) : Учеб.пособие / А.С.Гуменюк, 1994. - 82 с. - Текст : непосредственный.Нарышкин, А. К. Основы теории радиотехнических систем извлечения информации : Учеб.пособие по курсу "Принципы радиолокации и телевидения". Ч. 2 : Флуктуации потоков электромагнитного излучения, 1997. - 59 с. - Текст : непосредственный.Thermodynamics of computation and information distance / C.H.Bennett,P.Gacs,M.Li, , 1993. - 15 p. - Текст : непосредственный.
Показать все результатыЧерноуцан В.П. Применение естественной избыточности кодов для контроля вычислительных структур : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. П. Черноуцан, 1990. - 15 с. - Текст : непосредственный.Макаренко С.Л. Синтез блочных балансных кодов для цифровых кабельных систем передачи информации : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.02 / С. Л. Макаренко, 1991. - 16 с. - Текст : непосредственный.Абдурахманов Ж.К. О геометрической структуре кодов,исправляющих ошибки : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ж. К. Абдурахманов, 1991. - 11 с. - Текст : непосредственный.Цфасман М.А. Глобальные поля,корректирующие коды и упаковки шаров : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17:01.01.06 / М. А. Цфасман, 1991. - 23 с. - Текст : непосредственный.Гавриленко Ю.В. Конгруэнции на термах и унификация : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Ю. В. Гавриленко, 1993. - 18 с. - Текст : непосредственный.Ашихмин А.Е. Разработка алгоритмов быстрого декодирования для блоковых и сверточных кодов в дискретных и полунепрерывных каналах : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.01 / А. Е. Ашихмин, 1993. - 19 с. - Текст : непосредственный.Хохлов Г.И. Комбинаторная теория информации. Информационная теория детерминированных процессов : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01 / Г. И. Хохлов, 1994. - 37 с. - Текст : непосредственный.Потапов В.Г. Алгоритмы декодирования в список и их реализация : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01,05.13.17 / В. Г. Потапов, 1994. - 18 с. - Текст : непосредственный.Федоренко С.В. Декодирование линейных блоковых кодов по обобщенным информационным совокупностям : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. В. Федоренко, 1994. - 15 с. - Текст : непосредственный.Генкин А.В. Анализ и описание нечисловых данных подмножествами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / А. В. Генкин, 1995. - 18 с. - Текст : непосредственный.Терентьев А.И. Элементы теории и алгоритмы декорирования числовых линейных блоковых корректирующих кодов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / А. И. Терентьев, 1996. - 22 с. - Текст : непосредственный.Гасаненко М.Л. Механизмы исполнения кода в открытых расширяемых системах на основе шитого кода : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / М. Л. Гасаненко, 1996. - 16 с. - Текст : непосредственный.Лисица А.П. Взаимоотношения между выразимостью и вычислительной сложностью: очерчивание и языки ограниченной теории множеств : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. П. Лисица, 1997. - 20 с. - Текст : непосредственный.Бакшеев И.В. Разработка и исследование эффективного метода кодирования изображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.12.17 / И. В. Бакшеев, 1997. - 16 с. - Текст : непосредственный.Кочетов А.А. Вопросы эффективности приближенных методов алфавитного кодирования регулярных языков : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / А. А. Кочетов, 1996. - 10 с. - Текст : непосредственный.Ситкевич Т.А. Быстрое синдромное декодирование линейных блоковых кодов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.12.17 / Т. А. Ситкевич, 1998. - 19 с. - Текст : непосредственный.Фионов А.Н. Методы эффективной рандомизации сообщений, базирующиеся на омофонном и арифметическом кодировании : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.12.13 / А. Н. Фионов, 1998. - 22 с. - Текст : непосредственный.Богуславский М.И. Обобщенные спектры решеток и кодов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / М. И. Богуславский, 1998. - 16 с. - Текст : непосредственный.Кошелев В.Н. Иерархические схемы кодирования и проблема делимости : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. Н. Кошелев, 1999. - 50 с. - Текст : непосредственный.Сычев А.В. Анализ способов представления информации морфемными структурами при наличии случайных возмущений : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.04.03 / А. В. Сычев, 1998. - 23 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽