766303 Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова Павлов Владимир Александрович 2017,

Информатика, вычислительная техника и управление. Диссертация Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова, , 2017