Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 106
Показаны документы с 1 по 10 |
|
1.
| Хакимзянов Г.С.Хакимзянов, Гаяз Салимович Математическое моделирование. Ч. 1:Общие принципы математического моделирования. - 2010
|
2.
| Handbook of automated reasoning/eds.: A. Robinson, A. Voronkov. - 2001
|
3.
| Ершов Ю. Л. Алгоритмы и вычислимость в человеческом познании/Ю. Л. Ершов, В. В. Целищев. - 2012
|
4.
| Грэхем Р. Л. Конкретная математика. Математические основы информатики/Р. Л. Грэхем, Д. Э. Кнут, О. Паташник], Д. Э. Кнут, О. Паташник]. - 2013
|
5.
| Berman P. Approximation hardness and satisfiability of bounded occurrence instances of SAT/P. Berman, M. Karpinski, A.D. Scott. - 2003
|
6.
| Плоткин Б. И. Универсальная алгебра, алгебраическая логика и базы данных/Б.И. Плоткин. - 1991
|
7.
| Scott D. Well-structured mathematical logic/D. Scott. - 2013
|
8.
| Набебин А.А. Дискретная математика/А. А. Набебин. - 2010
|
9.
| Structure in complexity theory conference (6; 1991; Chicago).Proceedings of the sixt Annual structure in complexity theory conference. - 1991
|
10.
| Structure in complexity theory conference (7; 1992; Boston).Proceedings of the seventh Annual structure in complexity theory conference. - 1992
|
|
|