1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Kosovskaya, Tatiana M.

Перейти к: 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 по 6 из 6
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
сен-2017Extraction of a maximal common sub-formula of predicate formulas for the solving of some Artificial Intelligence problemsKosovskaya, Tatiana M.; Petrov, Dmitrii A.
мар-2022Extraction of common properties of objects for creation of a logic ontologyKosovskaya, Tatiana M.; Kosovskii, Nikolai N.
июн-2017NP-complete problems for systems of divisibilities of values of linear polynomialsKosovskii, Nikolay K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolay N.; Starchak, Mikhail R.
июн-2016NP-completeness conditions for some types of systems of linear diophantine comparisons and equations consistency checkingKosovskii, Nikolay K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolay N.
сен-2016NP-completeness conditions for some types of systems of linear diophantine dis-equations consistency checkingKosovskii, Nikolai K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolai N.
сен-2019Polynomial equivalence of the problems predicate formulas isomorphism and graph isomorphismKosovskaya, Tatiana M.; Kosovskii, Nikolay N.
Результаты 1 по 6 из 6