Вы здесь
Sakallah K. A.
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011 | 2011 | Lecture Notes in Computer Science |
|
06.07.2011 | |||
| СБ | Theory and Applications of Satisfiability Testing - SAT 2007: Proc./10th International Conference. Lisbon, Portugal, May 2007 | 2007 | Lecture Notes in Computer Science |
|
26.06.2007 |