| 000 | 00357nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a978-3-540-74104-6 | ||
| 100 | _aKroening, D. | ||
| 245 | _aDecision procedures: An algorithmic point of view | ||
| 260 |
_aBerlin _bSpringer _c2008 |
||
| 300 | _axvi, 304p. | ||
| 490 | _aTexts in Theoretical Computer Science | ||
| 999 |
_c31766 _d31766 |
||