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

Базы данных


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

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.17.21$<.>)
Общее количество найденных документов : 15
Показаны документы с 1 по 10
 1-10    11-15 
1.
512.563(063)
T44

   
    Theory and applications of satisfiability testing - SAT 2006 [Electronic resource] : 9th international conference, Seattle, Wa, USA, August 12-15, 2006 : proceedings / ed. A. Biere, C. Gomes. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4121). - ISBN 978-3-54037-207-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

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

   
    Theory and applications of satisfiability testing [Electronic resource] : 7th international conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers / eds. H. Hoos, D. Mitchell. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3542). - ISBN 978-3-540-31580-3 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

Доп.точки доступа:
Hoos, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
512.563(063)
T44

   
    Theory and applications of satisfiability testing [Electronic resource] : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings / eds. F. Bacchus, T. Walsh. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3569). - ISBN 978-3-540-31679-4 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

Доп.точки доступа:
Bacchus, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
512.563(063)
T44

   
    Theory and applications of satisfiability testing - SAT 2007 [Electronic resource] : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / eds.: J. Marques-Silva, K. A. Sakallah. - Electronic text data. - Berlin ; Heidelberg : [s. n.], 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4501). - ISBN 978-3-540-72788-0 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

Доп.точки доступа:
Marques-Silva, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
512.563(063)
T44

   
    Theory and applications of satisfiability testing – SAT 2010 [Electronic resource] : 13th International conference, SAT 2010, Edinburgh, UK, July 11-14, 2010: proceedings / eds. O. Strichman, S. Szeider. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6175). - ISBN 978-3-642-14186-7 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)

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

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

Доп.точки доступа:
Strichman, O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
512.563(063)
T44

   
    Theory and applications of satisfiability testing - SAT 2009 [Electronic resource] : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 : proceedings / ed. O. Kullmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5584). - ISBN 978-3-642-02777-2 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)

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

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

Доп.точки доступа:
Kullmann, O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
512.563(063)
T44

   
    Theory and applications of satisfiability testing - SAT 2008 [Electronic resource] : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / ed. H. Kleine Buning [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 4996). - ISBN 978-3-540-79719-7 : Б. ц.

ГРНТИ
27.17.21
УДК
512.563(063)
Рубрики: Алгебра логики--Съезды и конференции

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

Доп.точки доступа:
Kleine Buning, H. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.
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)
Свободных экз. нет
Найти похожие
9.
512.56
G74

    Gratzer, G.
    The congruences of a finite lattice [Electronic resource] : a proof-by-picture approach / G. Gratzer. - Electronic text data. - Boston, Ma : Birkhauser, 2006. - ISBN 978-0-817-64462-8 : Б. ц.

ГРНТИ
27.17.21
УДК
512.56

Кл.слова (ненормированные):
конечные решетки -- конгруэнции

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

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.
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)
Свободных экз. нет
Найти похожие
 1-10    11-15 
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)