| 000 | 00681pam a2200229a 44500 | ||
|---|---|---|---|
| 005 | 20170426125115.0 | ||
| 008 | 160408b2009 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781586039295 | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a006.3 _bH191 |
||
| 245 | 1 |
_aHandbook of satisfiability _cedited by Armin Biere...[et al.] |
|
| 260 |
_aAmsterdam _bIOS Press _c2009 |
||
| 300 | _axiii, 966p | ||
| 440 | _aFrontiers In Artificial Intelligence And Applications / edited by J. Breuker | ||
| 650 | _aPropositional calculus | ||
| 700 | _aBiere, Armin [ed.] | ||
| 700 | _aHeule, Marjin [ed.] | ||
| 700 | _aMaaren, Hans van [ed.] | ||
| 700 | _aWalsh, Toby [ed.] | ||
| 942 | _cBK | ||
| 999 |
_c365624 _d365624 |
||