Вы здесь
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2011
Ключевые слова:
Стр.:
371 p.
Редактор:
Место издания:
Издательство:
Том:
6695
Карточка:
Б2.1, В2.1.
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011Ed. by Sakallah K. A., Simon L..-Berlin.: Springer, 2011.-Vol. 6695.-371 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO8 796