1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Icykson Dmitrij Mihajlovic

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 2 из 2
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2020On proof systems based on binary decision diagramsСмирнов Петр Юрьевич; Smirnov Petr Urevic
2023Proof complexity lower bounds of combinatorial principlesОвчаров Сергей Дмитриевич; Ovcarov Sergej Dmitrievic
Результаты 1 по 2 из 2