| 000 | 00555nam a2200193Ia 4500 | ||
|---|---|---|---|
| 003 | LDD | ||
| 008 | 181029s9999 xx 000 0 und d | ||
| 020 |
_a262220555 _cUS _39.95 |
||
| 040 | _cLDD | ||
| 100 | _aVeroff, Robert | ||
| 245 | 0 |
_aAutomated reasoning and its applications _bessays in honor of Larry Wos _cRobert Veroff |
|
| 260 |
_aLondon _bMIT Press _c1997 |
||
| 300 | _aviii, 247 | ||
| 365 |
_bUS _39.95 |
||
| 901 |
_a1886 _b21-02-2000 |
||
| 902 |
_a560 _b26-02-2000 _cF _dUS _e4 |
||
| 903 |
_aDiscount-10 _bReqst by : Manohar Lal |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c64191 _d64191 |
||