Чжоу Цзюань

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

1. Алгоритм выделения общих свойств объектов, описанных на языке исчисления предикатов с одним предикатным символом
   
   Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия, 11:4 (2024),  733–743