Поисковый запрос: (<.>U=510<.>) |
Общее количество найденных документов : 17
Показаны документы с 1 по 17 |
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 A35
Algebraic and proof-theoretic aspects of non-classical logics [Electronic resource] : papers in honor of Daniele Mundici on the occasion of his 60th birthday / ed. S. Aguzzoli. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4460). - ISBN 978-3-540-75939-3 : Б. ц.
Рубрики: Математическая логика
См. : Текст издания Доп.точки доступа: Aguzzoli, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| 004 M44
Mazzola, G. Comprehensive mathematics for computer scientists 2 [Electronic resource] : calculus and ODEs, splines, probability, fourier and wavelet theory, fractals and neural networks, categories and lambda calculus / G. Mazzola, G. Milmeister, J. Weissmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 3-540-20861-5 : Б. ц.
Рубрики: Вычислительная техника Математическая логика Конечная математика
См. : Текст издания Доп.точки доступа: Milmeister, G.; Weissmann, J.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| 519.713 G64
Gopalakrishnan, G. Computation engineering [Electronic resource] : applied automata theory and logic / G. Gopalakrishnan. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2006. - ISBN 0-387-32520-4 : Б. ц.
Рубрики: Автоматов теория Математическая логика Программы для ЭВМ--Верификация
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 K84
Kroening, D. Decision procedures [Electronic resource] : an algorithmic point of view / D. Kroening, O. Strichman. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Texts in theoretical computer science, an EATCS series, ISSN 1862-4499). - ISBN 978-3-540-74105-3 : Б. ц.
Рубрики: Математическая логика Программы для ЭВМ--Верификация
См. : Текст издания Доп.точки доступа: Strichman, O.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| 51(092)Цермело Э. E14
Ebbinghaus, H. Ernst Zermelo [Electronic resource] : an approach to his life and work / H. Ebbinghaus. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - ISBN 978-3-540-49553-6 : Б. ц.
Кл.слова (ненормированные): математика -- биографии -- аксиома выбора -- теория множеств -- аксиоматизация
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 F50
Fields of logic and computation [Electronic resource] : essays dedicated to yuri gurevich on the occasion of his 70th birthday / ed. A. Blass [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6300). - ISBN 978-3-642-15025-8 : Б. ц.
Кл.слова (ненормированные): математическая логика -- вычислительная техника -- эссе
См. : Текст издания Доп.точки доступа: Blass, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 W46
Weinstein, S. Finite model theory and its applications [Electronic resource] / S. Weinstein. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Texts in theoretical computer science an eatcs series, ISSN 1862-4499). - ISBN 978-3-540-68804-4 : Б. ц.
Рубрики: Математическая логика Вычислительная техника
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 D53
Diaconescu, R. Institution-independent model theory [Electronic resource] / R. Diaconescu. - Electronic text data. - Basel : Birkhauser, 2008. - (Studies in universal logic). - ISBN 978-3-7643-8708-2 : Б. ц.
Кл.слова (ненормированные): теория моделей -- математическая логика
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 W69
Williams, H. P. Logic and integer programming [Electronic resource] / H. P. Williams. - Electronic text data. - Boston, Ma : Springer, 2009. - (International series in operations research & management science, ISSN 0884-8289 ; 130). - ISBN 978-0-387-92279-9 : Б. ц.
Рубрики: Математическая логика Программирование целочисленное
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 L85
Logica universalis [Electronic resource] : towards a general theory of logic / ed. J. Beziau. - Electronic text data. - Basel [etc.] : Birkhauser Verl., 2005. - ISBN 978-3-7643-7304-7 : Б. ц.
Кл.слова (ненормированные): универсальная логика -- логика -- теория -- абстрактная логика -- логические структуры -- теория моделей
См. : Текст издания Доп.точки доступа: Beziau, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 S32
Schindler, R. Logische Grundlagen der Mathematik [Electronic resource] / R. Schindler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Springer-Lehrbuch, ISSN 0937-7433). - ISBN 978-3-540-95932-8 : Б. ц.
Кл.слова (ненормированные): математика -- логические основания
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 K18
Kamareddine, F. A modern perspective on type theory [Electronic resource] : from its origins until today / F. Kamareddine, R. Nederpelt, T. Laan. - Electronic text data. - Dordrecht : Springer Science + Business Media Inc., 2005. - (Applied logic series, ISSN 1386-2790 ; 29). - ISBN 978-1-4020-2335-4 : Б. ц.
Рубрики: Математическая логика Теория типов Программирования языки--Теория
См. : Текст издания Доп.точки доступа: Nederpelt, R.; Laan, T.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 V31
Vath, M. Nonstandard analysis [Electronic resource] / M. Vath. - Electronic text data. - Basel : Birkhauser, 2007. - ISBN 978-3-7643-7774-8 : Б. ц.
Кл.слова (ненормированные): нестандартный анализ
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 G60
Goldrei, D. Propositional and predicate calculus [Electronic resource] : a model of argument / D. Goldrei. - Electronic text data. - London : Springer-Verlag, 2005. - ISBN 978-1-846-28229-4 : Б. ц.
Рубрики: Математическая логика
См. : Текст издания Доп.точки доступа: SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| 51/T44-270607
The seventeen provers of the world [Electronic resource] / ed. F. Wiedijk. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3600). - ISBN 978-3-540-32888-9 : Б. ц.
Рубрики: Доказательств теория
См. : Текст издания Доп.точки доступа: Wiedijk, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 T44
The strength of nonstandard analysis [Electronic resource] / eds. I. Berg, V. Neves. - Electronic text data. - Vienna : Springer, 2007. - ISBN 978-3-211-49905-4 : Б. ц.
Кл.слова (ненормированные): нестандартный анализ
См. : Текст издания Доп.точки доступа: Berg, I. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| 510 K84
Kroger, F. Temporal logic and state systems [Electronic resource] / F. Kroger, S. Merz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Texts in theoretical computer science, an EATCS series, ISSN 1862-4499). - ISBN 978-3-540-68635-4 : Б. ц.
Рубрики: Математическая логика Программы для ЭВМ--Верификация Программы для ЭВМ--Спецификация
См. : Текст издания Доп.точки доступа: Merz, S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
|
|
|