Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты выпуска
Авторы
Заголовки
Темы
Политика
Справка
Язык
русский
English
Войти
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Архив открытого доступаСанкт-Петербургского государственного университета
DSpace at Saint Petersburg State University
Поиск
Поиск:
Весь архив электронных ресурсов
St.PETERSBURG UNIVERSITY ACADEMIC PRESS
ACADEMIC JOURNALS
Biological Communications
Contributions to Game Theory and Management
Differential Equations and Control Processes
German Philology at the St Petersburg State University
Horizon. Studies in Phenomenology
Issues of Theology
Media Linguistics
Modern History of Russia
Philologia Classica
Philosophy of the History of Philosophy
Political Expertise: POLITEX
Pravovedenie
Research in Genetics
Russian Journal of Labour & Law
Russian Management Journal
Scandinavian Philology
St Petersburg University Journal of Economic Studies
Studia Slavica et Balcanica Petropolitana
The Issues of Museology
The World of the Russian Word
Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes
Vestnik of Saint Petersburg University. Arts
Vestnik of Saint Petersburg University. Asian and African Studies
Vestnik of Saint Petersburg University. Biology
Vestnik of Saint Petersburg University. Earth Sciences
Vestnik of Saint Petersburg University. History
Vestnik of Saint Petersburg University. International Relations
Vestnik of Saint Petersburg University. Language and Literature
Vestnik of Saint Petersburg University. Law
Vestnik of Saint Petersburg University. Management
Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy
Vestnik of Saint Petersburg University. Medicine
Vestnik of Saint Petersburg University. Philosophy and Conflict Studies
Vestnik of Saint Petersburg University. Physics and Chemistry
Vestnik of Saint Petersburg University. Psychology
Vestnik of Saint Petersburg University. Sociology
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-6 из 6.
назад
1
дальше
Найденные ресурсы:
Предварительный просмотр
Дата выпуска
Название
Автор(ы)
июн-2016
NP-completeness conditions for some types of systems of linear diophantine comparisons and equations consistency checking
Kosovskii, Nikolay K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolay N.
сен-2016
NP-completeness conditions for some types of systems of linear diophantine dis-equations consistency checking
Kosovskii, Nikolai K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolai N.
июн-2017
NP-complete problems for systems of divisibilities of values of linear polynomials
Kosovskii, Nikolay K.; Kosovskaya, Tatiana M.; Kosovskii, Nikolay N.; Starchak, Mikhail R.
сен-2017
Extraction of a maximal common sub-formula of predicate formulas for the solving of some Artificial Intelligence problems
Kosovskaya, Tatiana M.; Petrov, Dmitrii A.
сен-2019
Polynomial equivalence of the problems predicate formulas isomorphism and graph isomorphism
Kosovskaya, Tatiana M.; Kosovskii, Nikolay N.
мар-2022
Extraction of common properties of objects for creation of a logic ontology
Kosovskaya, Tatiana M.; Kosovskii, Nikolai N.
Просмотр
Автор
3
Kosovskii, Nikolay N.
2
Kosovskii, Nikolai N.
2
Kosovskii, Nikolay K.
1
Kosovskii, Nikolai K.
1
Petrov, Dmitrii A.
1
Starchak, Mikhail R.
Тема
3
NP-completeness
2
belonging of a integer-valued poi...
2
isomorphism of predicate formulas
1
algorithmic complexity
1
Artificial Intelligence
1
GI-completeness
1
graph isomorphism
1
logic ontology
1
NP-hardness
1
predicate calculus
.
дальше >
по дате выпуска
1
2022
1
2019
2
2017
2
2016