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 : Б. ц.
Вычислительная техника См. : Текст издания Доп.точки доступа: Futatsugi, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
Кл.слова (ненормированные): булевы алгебры -- кардинальные инварианты См. : Текст издания Доп.точки доступа: SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: Halmos, P.; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: Giunchiglia, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |