Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | eКнига |
| Язык: | English |
| Опубликовано: |
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
|
| Серии: | Lecture Notes in Computer Science,
3569 |
| Предметы: | |
| Online-ссылка: | Click here to view the full text content |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Ваш комментарий будет первым!