| 000 | 00392nam a2200145Ia 4500 | ||
|---|---|---|---|
| 100 |
_aChougule,M.D. _910555 |
||
| 700 |
_a Kulkarni, D. B. [GUIDE] _910556 |
||
| 250 | _a1st Ed. | ||
| 365 | _cRs. | ||
| 942 | _cD | ||
| 245 | _aParallel Preprocessing Techniques For Solving Satisfiability Problem | ||
| 260 |
_bWalchand College of Engineering _aSangli _c2013 |
||
| 082 | _bCHO | ||
| 300 | _a250 p. | ||
| 999 |
_c55011 _d55011 |
||
| 041 | _aeng | ||
| 300 | _c20 cm. | ||
| 546 | _aText in English | ||