Skip to content. | Skip to navigation
Павлов Владимир Александрович (СПбПУ)
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова
More information about this event…
Мониторинг выпускников