|
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)
Свободных экз. нет
|
|