ГПНТБ России - Полное описание

Государственная публичная
научно-техническая библиотека России

Основана в 1958 году

Полное описание

Д7-90/85523
Всесоюзная конф. по мат. логике (10 ; 1990 ; Алма-Ата). Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : тез. докл. / Всесоюзная конф. по мат. логике (10 ; 1990 ; Алма-Ата) . - Алма-Ата : Гылым, 1990. - 176 c. - 450 экз. - 2.20 р. - Текст : непосредственный.
В надзаг.: АН СССР, АН КазССР, Ин-т математики и механики. Библиогр. в конце докл.

ГРНТИ	УДК
27.03.19	510(062)
03.91

Рубрики:
Математическая логика -- Съезды и конференции

Кл.слова (ненормированные): математическая логика -- съезд -- конференцияЭкз-ры полностью Д7-90/85523
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)

Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : Тез. докл. / Всесоюзная конф. по мат. логике (10 ; 1990 ; Алма-Ата) , 1990. - 176 c. - Текст : непосредственный.

Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.

Показать все результаты

22nd international symposium on multiple-valued logic,May 27-29,1992,Sendai : Proc. / International symposium on multiple-valued logic (22 ; 1992 ; Sendai) , 1992. - XV,482 p. p. - Текст : непосредственный.Proceedings of the 1991 international workshop on the HOL theorem proving system and its applications,Aug.28-30,1991,Davis(Ca) / HOL 91, 1992. - XIX,411 p. p. - Текст : непосредственный.Word equations and related topics : 1st intern.workshop on word equations and related topics,Tubingen,Oct.1990Proc. / IWWERT'90, 1992. - 256 p. - Текст : непосредственный.Finite and infinite combinatorics in sets and logic : Proc.of the NATO advanced study inst.on finite and infinite combinatorics in sets and logic,Banff,Alberta,Canada,Apr.21-May 4 1991 / ed. N. W. Sauer, 1993. - XVII,453 p. p. - Текст : непосредственный.1 Всероссийская научная конференция "Непрерывная логика и ее применение в технике, экономике и социологии" : Тезисы докл.22-23 сент.1994 г. / "Непрерывная логика и ее применение в технике, экономике и социологии",всерос. науч. конф. (1 ; 1994 ; Пенза) , 1994. - 142 c. - Текст : непосредственный.Orders,algorithms and applications : Intern.workshop ORDAL'94,Lyon,July 4-8 1994:Proc. / ORDAL'94, 1994. - 204 p. - Текст : непосредственный.Higher order logic theorem proving and its applications : 6th intern.workshop,HUG'93,Vancouver,B.C.,Canada,Aug.11-13 1993:Proc. / сост.ed. J. J. Joyce, сост.ed. C. -J.H. Seger, 1994. - IX,517 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. - Текст : непосредственный.XI Межреспубликанская конференция по математической логике, Казань, 6-8 окт. : Тез.сообщ. / Межреспубликанская конф. по мат. логике (11 ; 1992 ; Казань) , 1992. - 164 с. - Текст : непосредственный.Proceedings of the international symposium on multiple-valued logic,May 26-28,1987,Boston(Ma) / International symposium on multiple-valued logic (17 ; 1987 ; Boston,Ma) , 1987. - 356 p. - Текст : непосредственный.Десятая Всесоюзная конференция по математической логике, Алма-Ата, 1-3 нояб. 1990 г. : Тез. докл. / Всесоюзная конф. по мат. логике (10 ; 1990 ; Алма-Ата) , 1990. - 176 c. - Текст : непосредственный.Материалы Международной конференции по математической логике, посвященной 90-летию со дня рождения А.И.Мальцева / Международная конф. по мат. логике (1999 ; Новосибирск) , 1999. - 126 с. - Текст : непосредственный.Mathematical logic and applications : Proc.of the logic meet.,Kyoto,1987 / ed. J. Shinoda, 1989. - 222 p. - Текст : непосредственный.Логико-алгебраические методы в науке, технике и экономике, 2000. - 141 с. - Текст : непосредственный.Proceedings of the 18th International symposium on multiplevalued logic,May 24-26,1988,Palma de Mallorca / International symposium on multiplevalued logic (18 ; 1988 ; Palma de Mallorca) , 1988. - XIII,422 p. p. - Текст : непосредственный.Логика и приложения : Тез. междунар. конф., посвящ. 60-летию со дня рождения Ю.Л.ЕршоваНовосибирск, 4-6 мая 2000 г., 2000. - 157 с. - Текст : непосредственный.Proceedings of the colloquium, held in Padova, Aug.22-31, 1988 / Logic colloquium'88 (1988 ; Padova) , 1989. - VIII, 403 p. 403 p. - Текст : непосредственный.Proceedings of the colloquium, held in Granada, Jul.20-25,1987 / Logic colloquium'87 (1987 ; Granada) , 1989. - X,375 p. p. - Текст : непосредственный.Frontiers of combining systems : 3rd intern.workshop, Nancy, Mar.22-24, 2000: Proc. / FroCoS 2000, 2000. - X, 291 p. 291 p. - Текст : непосредственный.Logic-based program synthesis and transformation : 9th intern.workshop on logic-based program synthesis and transformation, Venice, Sept.22-24, 1999: Proc. / LOPSTR'99, 2000. - VIII,312 p. p. - Текст : непосредственный.

Показать все результаты

Заказ фрагмента документа ₽