Вы здесь
Theory and Applications of Satisfiability Testing: Proc./8th International Conference, SAT 2005. St Andrews, UK, June 2005
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2005
Ключевые слова:
Стр.:
492 p.
Редактор:
Место издания:
Издательство:
Том:
3569
Карточка:
Б2.1, В2.1, Б4.12.
Theory and Applications of Satisfiability Testing: Proc./8th International Conference, SAT 2005. St Andrews, UK, June 2005Ed. by Bacchus F., Walsh T..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3569.-492 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO5 353