Павлов Владимир Александрович

Публикации в базе данных Math-Net.Ru

1. Эффективная программная реализация обратного метода Маслова для интуиционистской логики
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:1 (2017),  49–62
2. Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 6(234),  70–80