Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 229
Показаны документы с 1 по 30 |
|
1.
| Kamareddine F. A modern perspective on type theory/F. Kamareddine, R. Nederpelt, T. Laan. - 2005
|
2.
| Models of computation/M. Fernandez. - 2009
|
3.
| Celikyilmaz A. Modeling uncertainty with fuzzy logic/A. Celikyilmaz, B. Turksen. - 2009
|
4.
| Indrzejczak A. Natural deduction, hybrid systems and modal logics/A. Indrzejczak. - 2010
|
5.
| Moschovakis Y. Notes on set theory/Y. Moschovakis. - 2006
|
6.
| Vath M. Nonstandard analysis/M. Vath. - 2007
|
7.
| New computational paradigms/ed. B. Cooper [et al.]. - 2005
|
8.
| Logical foundations of computer science/ed. S. Artemov. - 2009
|
9.
| Logical approaches to computational barriers/ed. A. Beckmann [et al.]. - 2006
|
10.
| Logica universalis/ed. J. Beziau. - 2007
|
11.
| Schindler R. Logische Grundlagen der Mathematik/R. Schindler. - 2009
|
12.
| Mathematical problems from applied logic II/ed. D. M. Gabbay [et al.]. - 2007
|
13.
| Mathematical problems from applied logic I/ed. D. M. Gabbay [et al.]. - 2006
|
14.
| Li W. Mathematical logic/W. Li. - 2010
|
15.
| Programs, proofs, processes/ed. F. Ferreira [et al.]. - 2010
|
16.
| Komjath P. Problems and theorems in classical set theory/P. Komjath, V. Totik. - 2006
|
17.
| Kvasz L. Patterns of change/L. Kvasz. - 2008
|
18.
| Pohlers W. Proof theory/W. Pohlers. - 2009
|
19.
| Goldrei D. Propositional and predicate calculus /D. Goldrei. - 2005
|
20.
| Aigner M. Proofs from the book/M. Aigner, G. M. Ziegler, A. Quarteroni. - 2006
|
21.
| Aigner M. Proofs from the book/M. Aigner, G. M. Ziegler. - 2010
|
22.
| Parameterized and exact computation/ed. M. Grohe, R. Niedermeier. - 2008
|
23.
| Lipton R.J. The p=np question and godel’s lost letter/R. J. Lipton. - 2010
|
24.
| Cao B. Optimal models and methods with fuzzy quantities/B. Cao. - 2010
|
25.
| Parameterized and exact computation/ed. J. Chen, F. V. Fomin. - 2009
|
26.
| Partial covers, reducts and decision rules in rough sets/M. J. Moshkov [et al.]. - 2008
|
27.
| Flum J. Parameterized complexity theory/J. Flum, M. Grohe. - 2006
|
28.
| Parameterized and exact computation/ed. H. Bodlaender, M. Langston. - 2006
|
29.
| Sivanandam S.N. Introduction to fuzzy logic using MATLAB/S. N. Sivanandam, S. N. Deepa, S. Sumathi. - 2007
|
30.
| Givant S. Introduction to boolean algebras/S. Givant, P. Halmos. - 2009
|
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных