Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : : диссертация ... кандидата физико-математических наук : 05.13.11
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : : диссертация ... кандидата физико-математических наук : 05.13.11
В полном объеме текст документа доступен в электронных читальных залах библиотек-участников НЭБ
Санкт-Петербург
Место издания
2017
Год издания
Описание документа
Код документа в НЭБ
000199_000009_009522383
Каталог
Автор
Павлов, Владимир Александрович
Заглавие
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : : диссертация ... кандидата физико-математических наук : 05.13.11
Место издания
Санкт-Петербург
Год издания
2017
Объем
223 с.
Ответственность
Павлов Владимир Александрович; [Место защиты: С.-Петерб. гос. ун-т]
ББК
В123с31,0, З973.2-047,0
Ключевые слова
логические исчисления обратным методом Маслова
Библиотека
Портал НЭБ предлагает вам читать онлайн в Электронном Читальном Зале (ЭЧЗ) диссертацию (автореферат) на тему «Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : : диссертация .. кандидата физико-математических наук : 05.13.11» ББК:В123с31,0, З973.2-047,0, автора Павлов, Владимир Александрович Документ был издан в 2017 году. Содержит 223 с.
Выражаем благодарность библиотеке «Российская государственная библиотека (РГБ)» за предоставленный материал.
017
##
$a: д641-18
$b: RuMoRGB
$a: д641-18
$b: RuMoRGB
040
##
$a: RuMoRGB
$b: rus
$c: RuMoRGB
$a: RuMoRGB
$b: rus
$c: RuMoRGB
041
##
$a: rus
$a: rus
072
#1
$a: 05.13.11
$2: nsnr
$a: 05.13.11
$2: nsnr
084
##
$a: В123с31,0
$2: rubbk
$a: В123с31,0
$2: rubbk
084
##
$a: З973.2-047,0
$2: rubbk
$a: З973.2-047,0
$2: rubbk
100
1#
$a: Павлов, Владимир Александрович
$a: Павлов, Владимир Александрович
245
##
$a: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова :
$b: диссертация ... кандидата физико-математических наук : 05.13.11
$c: Павлов Владимир Александрович; [Место защиты: С.-Петерб. гос. ун-т]
$a: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова :
$b: диссертация ... кандидата физико-математических наук : 05.13.11
$c: Павлов Владимир Александрович; [Место защиты: С.-Петерб. гос. ун-т]
260
##
$a: Санкт-Петербург
$c: 2017
$a: Санкт-Петербург
$c: 2017
300
##
$a: 223 с.
$b: ил.
$a: 223 с.
$b: ил.
504
##
$a: Библиогр.: с. 144-159
$a: Библиогр.: с. 144-159
650
#1
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
$a: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
$2: nsnr
650
#1
$a: Физико-математические науки -- Математика -- Математическая логика -- Логические исчисления. Исчисление высказываний, предикатов -- Применение ЭВМ
$2: rubbk
$a: Физико-математические науки -- Математика -- Математическая логика -- Логические исчисления. Исчисление высказываний, предикатов -- Применение ЭВМ
$2: rubbk
650
#1
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Арифметические и логические устройства. Устройства дискретного действия
$2: rubbk
$a: Вычислительная техника -- Вычислительные машины электронные цифровые -- Арифметические и логические устройства. Устройства дискретного действия
$2: rubbk
653
##
$a: логические исчисления обратным методом Маслова
$a: логические исчисления обратным методом Маслова
720
1#
$a: Санкт-Петербургский государственный университет
$a: Санкт-Петербургский государственный университет
787
11
$w: 008711447
$i: Автореферат
$w: 008711447
$i: Автореферат
852
1#
$a: РГБ
$b: OD
$j: 61 18-1/31
$x: 81
$a: РГБ
$b: OD
$j: 61 18-1/31
$x: 81
856
11
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01009000000/rsl01009522000/rsl01009522383/rsl01009522383.pdf
$y: Читать
$q: application/pdf
$u: http://dlib.rsl.ru/rsl01009000000/rsl01009522000/rsl01009522383/rsl01009522383.pdf
$y: Читать
977
##
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
$a: dllocal
$b: dlrgb
$c: osk
$d: Отдел сканирования
979
##
$a: disser
$b: Каталог диссертаций
$c: rgb
$a: disser
$b: Каталог диссертаций
$c: rgb
979
##
$a: dllocal
$a: dllocal
LKR
##
$a: PAR
$l: RSL01
$b: 008711447
$m: Диссертация
$n: Автореферат
$a: PAR
$l: RSL01
$b: 008711447
$m: Диссертация
$n: Автореферат