Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=512.563<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
512.563
A35

   
    Algebra, meaning, and computation [Electronic resource] : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday / ed. K. Futatsugi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4060). - ISBN 978-3-540-35464-2 : Б. ц.

ГРНТИ
27.17.21
50
УДК
512.563
004
Рубрики: Алгебра логики
   Вычислительная техника

См. : Текст издания

Доп.точки доступа:
Futatsugi, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
512.563
M81

    Monk, J. D.
    Cardinal invariants on boolean algebras [Electronic resource] / J. D. Monk. - Electronic text data. - Basel : Birkhauser, 2010. - (Modern birkhauser classics). - ISBN 978-3-0346-0334-8 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563

Кл.слова (ненормированные):
булевы алгебры -- кардинальные инварианты

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
512.563
G50

    Givant, S.
    Introduction to boolean algebras [Electronic resource] / S. Givant, P. Halmos. - Electronic text data. - New York, NY : Springer, 2009. - (Undergraduate texts in mathematics, ISSN 0172-6056). - ISBN 978-0-387-68436-9 : Б. ц.

ГРНТИ
27.03.19
УДК
512.563
Рубрики: Алгебра логики

См. : Текст издания

Доп.точки доступа:
Halmos, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
510/S24-860296

   
    SAT 2005 [Electronic resource] : satisfiability research in the year 2005 / ed.: E. Giunchiglia, T. Walsh. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 978-1-4020-5571-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563
Рубрики: Алгебра логики

См. : Текст издания

Доп.точки доступа:
Giunchiglia, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)