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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=512.563(063)<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.
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 : Б. ц.

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

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

Доп.точки доступа:
Bacchus, F. \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 : Б. ц.

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

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

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

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

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

Доп.точки доступа:
Biere, A. \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 : Б. ц.

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

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

Доп.точки доступа:
Marques-Silva, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
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 : Б. ц.

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

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

Доп.точки доступа:
Kleine Buning, H. \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 : Б. ц.

ГРНТИ
УДК

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

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

Доп.точки доступа:
Kullmann, O. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
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 : Б. ц.

ГРНТИ
УДК

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

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

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

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)