Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 229
Показаны документы с 1 по 30 |
|
1.
| Forum of Mathematics, Sigma. - Журнал выходит с 2013г.
|
2.
| Forum of Mathematics, Pi. - Журнал выходит с 2013г.
|
3.
| Experimental Algorithms/ed. P. Festa. - 2010
|
4.
| Deiser O. Einfuhrung in die Mengenlehre/O. Deiser. - 2010
|
5.
| Fields of logic and computation/ed. A. Blass [et al.]. - 2010
|
6.
| Foundations of reasoning under uncertainty/eds. B. Bouchon-Meunier [et al.]. - 2010
|
7.
| Anastassiou G.A. Fuzzy mathematics: approximation theory/G. A. Anastassiou. - 2010
|
8.
| Aigner M. Das Buch der Beweise/M. Aigner, G. M. Ziegler. - 2010
|
9.
| Puppis G. Automata for branching and layered temporal structures/G. Puppis. - 2010
|
10.
| Beck M. The art of proof/M. Beck, R. Geoghegan. - 2010
|
11.
| Zermelo E. Collected works/E. Zermelo [et al.]. - 2010
|
12.
| Manin Y.I. A course in mathematical logic for mathematicians/Y. I. Manin. - 2010
|
13.
| Rautenberg W. A concise introduction to mathematical logic/W. Rautenberg. - 2010
|
14.
| Computer science logic/ed. A. Dawar, H. Veith. - 2010
|
15.
| Aigner M. Proofs from the book/M. Aigner, G. M. Ziegler. - 2010
|
16.
| Programs, proofs, processes/ed. F. Ferreira [et al.]. - 2010
|
17.
| Lipton R.J. The p=np question and godel’s lost letter/R. J. Lipton. - 2010
|
18.
| Rough sets and current trends in computing/ed. M. Szczuka [et al.]. - 2010
|
19.
| Transactions on rough sets XII/ed.: J. F. Peters [et al.]. - 2010
|
20.
| Transactions on rough sets xi/ed. J. F. Peters, A. Skowron. - 2010
|
21.
| Theory and applications of models of computation/ed. J. Kratochvil [et al.]. - 2010
|
22.
| Logic and the foundations of game and decision theory – loft 8/ed.: G. Bonanno [et al.]. - 2010
|
23.
| Interactive theorem proving/eds. M. Kaufmann, L. C. Paulson. - 2010
|
24.
| Handbook of set theory/ed. M. Foreman, A. Kanamori. - 2010
|
25.
| Logic, language, information and computation/eds. A. Dawar, R. Queiroz. - 2010
|
26.
| Cao B. Optimal models and methods with fuzzy quantities/B. Cao. - 2010
|
27.
| Indrzejczak A. Natural deduction, hybrid systems and modal logics/A. Indrzejczak. - 2010
|
28.
| Li W. Mathematical logic/W. Li. - 2010
|
29.
| Approximation and online algorithms/ed. E. Bampis, K. Jansen. - 2010
|
30.
| Algorithms and Complexity/ed. T. Calamoneri, J. Diaz. - 2010
|
|
|
|