|
|
 |
1991 г. Авторы: Кановей В.Г.О мощности множества классов эквивалентности Витали.
Математические Заметки, 1991, 49, 4, с. 55--62.
Перейти к публикации |
|
1991 г. Авторы: Кановей В.Г.Неразрешимые гипотезы в теории внутренних множеств Эдварда Нельсона.
УМН, 1991, 46: 6, с. 3--50
Перейти к публикации |
|
1991 г. Авторы: Любецкий В.А.«Гейтинговозначный анализ: гипотеза П.С. Новикова»
The Journal of Symbolic Logic,
1991, vol. 56, № 3, p. 1131.
|
|
1991 г. Авторы: Любецкий В.А.«Перевод выводимости в классической теории множеств в интуиционистскую теорию множеств для языка колец»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1991, т. 30, № 6, сс. 652–670.
Перейти к публикации |
|
1991 г. Авторы: Любецкий В.А.«Интуиционистская теория алгебраических систем и нестандартный анализ»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1991, т. 30, № 3, сс. 320–333.
Перейти к публикации |
|
1991 г. Авторы: Файн В.С., Рубанов Л.И.Машинное понимание текстов с ошибками. М.: Наука, 1991. 151 с.
|
|
1991 г. Авторы: Рубанов Л.И."Метод классификации словаря для помехоустойчивой системы машинного понимания естественного языка". Известия АН СССР. Техническая кибернетика. № 5, 1991, с.84-93
|
|
1990 г. Авторы: Кановей В.Г.Ограниченные множества в теории внутренних множеств Эдварда Нельсона.
Третий Всесоюзный семинар по нестандартному анализу, Саратов, 1990, с. 15--23.
|
|
1990 г. Авторы: Любецкий В.А.«Гейтинговозначный анализ: гипотеза П.С. Новикова»
в книге «Основания неклассических логик»,
М.: АН СССР, 1990, стр. 105–119.
|
|
1990 г. Авторы: Любецкий В.А.«Модельная полнота теории и оценки формул»
Алгебра и Логика (СО АН СССР),
Новосибирск, 1990, т. 29, № 1, сс. 15–28.
Перейти к публикации |
|
1990 г. Авторы: Рубанов Л.И.Профессиональные персональные компьютеры // «Радиоэлектроника» (Состояние и тенденции развития), Часть 1, Обзор, М.: НИИЭИР, 1990, с.1-19
|
|
1989 г. Авторы: Кановей В.Г.К отделимости внешних множеств.
Математическая конференция памяти М.Я.Суслина, Саратов, 1989, с. 38--45.
|
|
1989 г. Авторы: Любецкий В.А.«Оценки и пучки. О некоторых вопросах нестандартного анализа»
Успехи математических наук,
1989, т. 44, № 4 (268), сс. 99–153.
Перейти к публикации |
|
1989 г. Авторы: Файн В.С., Рубанов Л.И."Communication with a Computer System from the Pattern Recognition Point of View", International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI), Vol.3, No.1, 1989, p.9-18
|
|
1989 г. Авторы: Файн В.С., Рубанов Л.И., Луценко М.М., Требатицкий И."A Gradient Based Method for Grey- Scale Computer Vision". In: Computer Analysis of Images and Patterns, Akademie-Verlag, Berlin, 1989. V.55., p.135-140
|
|
1989 г. Авторы: Файн В.С., Рубанов Л.И., Товарек Л., Буковчан М."Multilingual Multiproblem Natural Language Preprocessor Based on ATNR Nets", Proc. of 5th Int. Conference on Artificial Intelligence and Information-Control Systems of Robots (AIICSR-89), North-Holland, 1989
|
|
1988 г. Авторы: Кановей В.Г.О корректности эйлерова метода разложения синуса в бесконечное произведение.
УМН, 1988, 43, 4, с. 57--81
Перейти к публикации |
|
1988 г. Авторы: Кановей В.Г.Идеи А.Н.Колмогорова в теории операций над множествами.
УМН, 1988, 43, 6, с. 93--128.
Перейти к публикации |
|
1988 г. Авторы: Кановей В.Г., Успенский В.А.Вклад М.Я.Суслина в теоретико-множественную математику.
Вестник Моск. Унив. сер. мат., мех., 1988, 43, 5, с. 22--30.
Перейти к публикации |
|
1988 г. Авторы: Гришин В.Н., Кановей В.Г.О работах по дескриптивной теории множеств, выполненных в Математическом институте им. В.А.Стеклова АН СССР.
Труды МИАН, 1988, 182, с. 224--244.
Перейти к публикации |
|
1988 г. Авторы: Lyubetsky V.“On some applications of Heyting-valued analysis II”
Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988
|
|
1988 г. Авторы: Рубанов Л.И."Практическая реализация имитационного подхода к пониманию естественного языка" // Системы передачи и обработки информации, ч.1. М.: ИППИ АН СССР, 1988, с.25-28
|
|
1988 г. Авторы: Рубанов Л.И."Компьютерные системы с естественно- языковым доступом: методология и опыт построения". Труды Всесоюзной конференции по искусственному интеллекту. Том 3. Переславль-Залесский: ИПС АН СССР, 1988, с.60-65
|
|
1987 г. Авторы: Кановей В.Г.К проблемам Н.Н.Лузина о существовании CA-множеств, не имеющих совершенных подмножеств.
Математические Заметки, 1987, 41, 5, с. 750--759.
Перейти к публикации |
|
1987 г. Авторы: Кановей В.Г."Нестандартное" построение степенного ряда.
В книге В.А.Успенского
"Что такое нестандартный анализ", М., Наука, 1987, с. 121--124.
|
|
1987 г. Авторы: Любецкий В.А.Основные понятия школьной математики.
Учебное пособие для вузов. М.: Просвещение, 1987. 600 стр. ISBN 103-03-87.
Перейти к публикации |
|
1987 г. Авторы: Рубанов Л.И., Файн В.С."Имитационный принцип в задаче общения с компьютером на свободном естественном языке". В кн.: В.С.Файн, Распознавание образов и машинное понимание естественного языка. М.: Наука, 1987, с.105-129,154-165.
|
|
1986 г. Авторы: Любецкий В.А.«Некоторые применения теории топосов к изучению алгебраических систем»,
дополнение к книге: П.T. Джонстон «Теория топосов», М.: Наука, 1986, стр. 376–433.
|
|
1985 г. Авторы: Кановей В.Г.Некоторые проблемы дескриптивной теории множеств и теории типов.
Автореф. дисс. докт. физ.--матем. наук.
МИАН им. В.А.Стеклова, 1985, 18 с.
Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.К проблеме существования неборелевских AF_II множеств.
Математические Заметки, 1985, 37, 2, с. 274--283
Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.Развитие дескриптивной теории множеств под влиянием трудов Н.Н.Лузина.
УМН, 1985, 40, 3 (243), с. 115--153.
Перейти к публикации |
|
1985 г. Авторы: Кановей В.Г.Аксиома детерминированности и современное развитие дескриптивной теории множеств.
Итоги науки и техники. Алгебра, топология, геометрия, т. 23, 1985, с. 3--50.
Перейти к публикации |
|
1985 г. Авторы: Любецкий В.А.«О некоторых алгебраических проблемах нестандартного анализа»
Доклады АН СССР,
1985, т. 280, № 1.
|
|
1984 г. Авторы: Успенский В.А., Кановей В.Г.Н.Н. Лузин — выдающийся математик и педагог.
Вестник АН СССР, 1984, 11, с. 95--102.
|
|
1984 г. Авторы: Кановей В.Г.Неразрешимые и разрешимые свойства конституант.
Матем. Сборник, 1984, 124, 4, с. 505--535.
Перейти к публикации |
|
1984 г. Авторы: Кановей В.Г.Аксиома выбора и аксиома детерминированности.
М.: Наука, серия «Проблемы науки и технического прогресса», 1984, 63 c.
Монография
Перейти к публикации |
|
1984 г. Авторы: Файн В.С., Толчан А.Я., Рубанов Л.И."Новые аспекты машинного понимания естественно-языковых сообщений". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.173-176
|
|
1984 г. Авторы: Рубанов Л.И."Об одном методе параметризации перенастраиваемого естественно-языкового процессора". В кн.: Проблемы искусственного интеллекта и распознавания образов. Часть 1. Искусственный интеллект, Киев: Изд. ИК АН УССР, 1984, с.157-160
|
|
1983 г. Авторы: Кановей В.Г.О некоторых проблемах дескриптивной теории множеств и определимости в теории типов.
Исследования по неклассическим логикам и формальным системам,
М., Наука, 1983, с. 21--81
|
|
1983 г. Авторы: Кановей В.Г.О структуре конституант CA-множеств.
Сиб. Мат. Ж., 1983, 24, 2, с. 56--76
|
|
1983 г. Авторы: Кановей В.Г.Обобщение одной теоремы П.С.Новикова о сечениях борелевских множеств.
Матем. Заметки, 1983, 33, 2, с. 289--292.
Перейти к публикации |
|
1983 г. Авторы: Кановей В.Г.Ответ на вопрос Н.Н.Лузина об отделимости CA кривых.
Матем. Заметки, 1983, 33, 3, с. 435--437
Перейти к публикации |
|
1983 г. Авторы: Кановей В.Г., Успенский В.А.Проблемы Лузина о конституантах и их судьба.
Вестник Моск. Унив. сер. мат., мех.
1983, 6, с. 73--87
Перейти к публикации |
|
1983 г. Авторы: Любецкий В.А., Гордон Е.И.«Вложение пучков в гейтинговозначный универсум»
Доклады АН СССР,
1983, т. 268, № 4.
|
|
1983 г. Авторы: Любецкий В.А., Гордон Е.И.«Булевы расширения равномерных структур» В книге: «Исследования по неклассическим логикам и формальным системам», Наука, 1983, сс. 82–153.
|
|
1982 г. Авторы: Кановей В.Г.К проблемам Н.Н. Лузина о вложимости и расщеплении проективных множеств.
Математические Заметки, 1982, 32, 1, с. 23--39.
Перейти к публикации |
|
1982 г. Авторы: Кановей В.Г.Проективная иерархия Н.Н. Лузина: современное состояние теории.
Справочная книга по математической логике, часть II: теория множеств,
М.: Наука, 1982, с. 273--364.
|
|
1981 г. Авторы: Кановей В.Г.О несчетных последовательностях множеств, даваемых операцией решета,
ДАН СССР, 1981, 257, 4, с. 808--812.
Перейти к публикации |
|
1981 г. Авторы: Кановей В.Г., Островский А.В.О неборелевских F_II множествах.
ДАН СССР, 1981, 260, 5, с. 1061--1064.
Перейти к публикации |
|
1981 г. Авторы: Кановей В.Г.Теории Цермело без аксиомы степени и Цермело -- Френкеля без аксиомы степени равнонепротиворечивы.
Математические Заметки, 1981, 30, 3, с. 407--419.
Перейти к публикации |
|
|
|
|
|
