Пак Вадим Геннадьевич

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

1. Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 6(234),  70–80
2. Волоконно-оптический одномодовый демультиплексор
   
   Квантовая электроника, 14:3 (1987),  623–624
3. Демультиплексор на одномодовом волоконно-оптическом ответвителе
   
   Письма в ЖТФ, 12:23 (1986),  1457–1461