| |
Павлов Владимир Александрович
|
| В базах данных Math-Net.Ru |
| Публикаций: |
2 |
| Научных статей: |
2 |
| Статистика просмотров: |
| Эта страница: | 128 | | Страницы публикаций: | 295 | | Полные тексты: | 169 |
|
|
кандидат физико-математических наук (2017) |
| Специальность ВАК: |
05.13.11 (математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей) |
Научная биография: |
Павлов, Владимир Александрович.
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : дис. ... канд. физ.-матем. наук : 05.13.11 /; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, 2017. - 223 с. : ил. |
|
 |
https://www.mathnet.ru/rus/person119655 |
 |
Список публикаций на Google Scholar |
 |
Список публикаций на ZentralBlatt |
|
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
В. А. Павлов, “Эффективная программная реализация обратного метода Маслова для интуиционистской логики”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:1 (2017), 49–62 |
|
2015 |
| 2. |
В. А. Павлов, B. Г. Пак, “Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 6(234), 70–80 |
|
|
| Организации |
|
Обратная связь: