-
1Academic Journal
Συγγραφείς: Гайнутдинова, Аида
Θεματικοί όροι: ВЕТВЯЩИЕСЯ ПРОГРАММЫ, СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ, КВАНТОВОЕ И КЛАССИЧЕСКОЕ МОДЕЛИРОВАНИЕ
Περιγραφή αρχείου: text/html
-
2Book
Συνεισφορές: Институт вычислительной математики и информационных технологий
Πηγή: RU05CLSL05CEOR05C170306
Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=128178
-
3Academic Journal
Πηγή: Ученые записки Казанского университета. Серия Физико-математические науки.
Περιγραφή αρχείου: text/html
-
4Book
Συνεισφορές: Институт вычислительной математики и информационных технологий
Πηγή: RU05CLSL05CEOR05C170306
Relation: http://rour.neicon.ru:80/xmlui/bitstream/rour/128178/1/nora.pdf; https://openrepository.ru/article?id=128178
Διαθεσιμότητα: https://openrepository.ru/article?id=128178
-
5
Συνεισφορές: Кноп Александр Анатольевич, Knop Aleksandr Anatolevic, Соколов Дмитрий Олегович, Sokolov Dmitrij Olegovic
Θεματικοί όροι: сложность доказательств, ветвящиеся программы, ограниченные повторения, нижние оценки, proof complexity, branching programs, bounded repetitions, lower bounds
Relation: 074035; http://hdl.handle.net/11701/30943
Διαθεσιμότητα: http://hdl.handle.net/11701/30943
-
6
Συγγραφείς: Смирнов Петр Юрьевич, Smirnov Petr Urevic
Συνεισφορές: Кноп Александр Анатольевич, Knop Aleksandr Anatolevic, Ицыксон Дмитрий Михайлович, Icykson Dmitrij Mihajlovic
Θεματικοί όροι: сложность доказательств, цейтинские формулы, регулярная резолюция, однопроходные ветвящиеся программы, системы Фреге константной глубины, proof complexity, Tseitin formulas, regular resolution, read-once branching programs, constant-depth Frege systems
Relation: 071688; http://hdl.handle.net/11701/26787
Διαθεσιμότητα: http://hdl.handle.net/11701/26787
-
7Dissertation/ Thesis
Συγγραφείς: Кухарчук, И. В.
Θεματικοί όροι: авторефераты диссертаций, квантовые вычисления, алгоритм, ветвящиеся программы
Διαθεσιμότητα: https://openrepository.ru/article?id=216497
-
8Electronic Resource
-
9Electronic Resource
Πηγή: RU05CLSL05CEOR05C170306
Όροι ευρετηρίου: Кибернетика -- Учебные издания для высших учебных заведений, ветвящиеся программы, eBook
Σύνδεσμος:
http://hdl.handle.net/rour/128178uri