| 000 | 00636nam a2200205Ia 4500 | ||
|---|---|---|---|
| 003 | LDD | ||
| 008 | 181029s9999 xx 000 0 und d | ||
| 020 |
_a01586 03 06 _cDFL 260.00 |
||
| 040 | _cLDD | ||
| 100 | _aGant,Lan | ||
| 245 | 0 |
_aSAT 2000 _bhighlights of satisfiability research in the year 2000 _cLan Gant |
|
| 260 |
_aAmsterdam _bIOS Press _c2000 |
||
| 300 | _a561 | ||
| 365 | _bDFL 260.00 | ||
| 440 |
_aForntiers in artificial inteligence and applications _vv 63 |
||
| 901 |
_a2066 _b26-07-2000 |
||
| 902 |
_a8503 _b26-07-2000 _cF _dGBH _e0 |
||
| 903 |
_aDiscount-10 _bReqst by : Dr.(Mrs) Neela Jagannathan |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c65671 _d65671 |
||