| 000 | 00611nam a22002057a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20180912234946.0 | ||
| 008 | 090503t xxu||||| |||| 00| 0 eng d | ||
| 040 |
_auniversity _bEnglish _cUniversity |
||
| 100 |
_aDaniel Kroening _93366 |
||
| 245 | _aDecision procedures : an algorithmic point of view | ||
| 260 |
_bSpringer-Verlag _c2008 |
||
| 300 | _a304 | ||
| 518 | _aSAR/156/2008/19-03-09 | ||
| 650 |
_aDecision making -- Mathematical models. _93367 |
||
| 650 |
_aAlgorithms. _9604 |
||
| 650 |
_aLogic, Symbolic and mathematical. _9634 |
||
| 700 |
_aOfer Strichman _93368 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c5916 _d5916 |
||