| 000 | 00516nam a2200193 4500 | ||
|---|---|---|---|
| 008 | 160616s2008 000 0 | ||
| 245 |
_aDecision procedures _ban algorithmic point of view |
||
| 100 | _aKroening, Daniel | ||
| 100 | _aStrichman, Ofer | ||
| 100 | _aBryant, Randal E. | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer | ||
| 260 | _c2008 | ||
| 300 | _a304 | ||
| 440 | _aTexts in theoretical computer science an EATCS series | ||
| 020 | _a9783540741046 | ||
| 942 |
_cBK _2BK24372 |
||
| 080 | _a510.5 KRO | ||
| 999 |
_c24372 _d24372 |
||